From e90b23a0d42e2ea6805c88d6eaa4f9e5370a1dc1 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Tue, 19 Dec 2023 13:28:17 +0100
Subject: Reset Config.return_back_funs to false

---
 compiler/Config.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'compiler')

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.
 
-- 
cgit v1.2.3