diff options
Diffstat (limited to '')
| -rw-r--r-- | compiler/Config.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/Config.ml b/compiler/Config.ml index c8f3ed58..b8af6c6d 100644 --- 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 false +let return_back_funs = ref true (** Forbids using field projectors for structures. |