diff options
Diffstat (limited to 'src/jib/jib_compile.ml')
| -rw-r--r-- | src/jib/jib_compile.ml | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/jib/jib_compile.ml b/src/jib/jib_compile.ml index b178f0e2..0efac940 100644 --- a/src/jib/jib_compile.ml +++ b/src/jib/jib_compile.ml @@ -1243,8 +1243,6 @@ let compile_funcl ctx id pat guard exp = (** Compile a Sail toplevel definition into an IR definition **) let rec compile_def n total ctx def = - reset_anf_counter (); - reset_gensym_counter (); match def with | DEF_fundef (FD_aux (FD_function (_, _, _, [FCL_aux (FCL_Funcl (id, _), _)]), _)) when !opt_memo_cache -> |