Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

Minor formatting fix

  • Loading branch information...
commit 0e9f5a9a6590d35b69c29405efd9a7b569294122 1 parent f824a98
@thomasc thomasc authored
Showing with 8 additions and 8 deletions.
  1. +8 −8 src/proper_gen.erl
View
16 src/proper_gen.erl
@@ -574,14 +574,6 @@ get_ret_type(Fun) ->
erase('$get_ret_type'),
RetType.
--ifdef(USE_SFMT).
-update_seed(Seed) ->
- sfmt:seed(Seed).
--else.
-update_seed(Seed) ->
- put(random_seed, Seed).
--endif.
-
-spec function_body([term()], proper_types:type(), fun_seed()) ->
proper_types:type() | instance().
function_body(Args, RetType, {Seed1,Seed2}) ->
@@ -595,3 +587,11 @@ function_body(Args, RetType, {Seed1,Seed2}) ->
put(?SEED_NAME, SavedSeed),
proper_symb:internal_eval(Ret)
end.
+
+-ifdef(USE_SFMT).
+update_seed(Seed) ->
+ sfmt:seed(Seed).
+-else.
+update_seed(Seed) ->
+ put(random_seed, Seed).
+-endif.
Please sign in to comment.
Something went wrong with that request. Please try again.