diff options
author | Son Ho | 2023-12-19 13:28:17 +0100 |
---|---|---|
committer | Son Ho | 2023-12-19 13:28:17 +0100 |
commit | e90b23a0d42e2ea6805c88d6eaa4f9e5370a1dc1 (patch) | |
tree | 735d72ff2924c1482487ebf181a0c656df8745bc /compiler | |
parent | 014c0668abf0834342b2b7076cf2f0634460e519 (diff) |
Reset Config.return_back_funs to false
Diffstat (limited to 'compiler')
-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 b8af6c6d..c8f3ed58 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 true +let return_back_funs = ref false (** Forbids using field projectors for structures. |