Reset Config.return_back_funs to false

AeneasVerif · Dec 19, 2023 · e90b23a · e90b23a
1 parent 014c066
commit e90b23a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/compiler/Config.ml b/compiler/Config.ml
@@ -153,7 +153,7 @@ let loop_fixed_point_max_num_iters = 2
                return (x :: ls)))
     ]}
  *)
-let return_back_funs = ref true
+let return_back_funs = ref false
 
 (** Forbids using field projectors for structures.