From c699758eaf67a58df3fd30c01bf2d05dd17586f5 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Wed, 4 May 2022 16:21:29 +0200
Subject: Make minor modifications

---
 src/main.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/main.ml')

diff --git a/src/main.ml b/src/main.ml
index 8afbc0cd..3fb162f3 100644
--- a/src/main.ml
+++ b/src/main.ml
@@ -188,7 +188,7 @@ let () =
           test_unit_functions;
           extract_decreases_clauses = not !no_decreases_clauses;
           extract_template_decreases_clauses = !template_decreases_clauses;
-          use_state_monad = not !no_state;
+          use_state = not !no_state;
         }
       in
       Translate.translate_module filename dest_dir trans_config m
-- 
cgit v1.2.3