From 41fe2641dccff2881fd965a524c8a962f80b86b2 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Wed, 27 Apr 2022 10:43:07 +0200
Subject: Make minor updates

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

diff --git a/src/Translate.ml b/src/Translate.ml
index c29dd963..d9b42f6b 100644
--- a/src/Translate.ml
+++ b/src/Translate.ml
@@ -179,6 +179,7 @@ let translate_function_to_pure (config : C.partial_config)
     {
       SymbolicToPure.filter_useless_back_calls =
         mp_config.filter_useless_monadic_calls;
+      use_state_monad = mp_config.use_state_monad;
     }
   in
 
diff --git a/src/main.ml b/src/main.ml
index 00693890..9d038f12 100644
--- a/src/main.ml
+++ b/src/main.ml
@@ -177,7 +177,6 @@ let () =
           unfold_monadic_let_bindings = !unfold_monads;
           filter_useless_monadic_calls = !filter_useless_calls;
           filter_useless_functions = !filter_useless_functions;
-          add_unit_args = false;
           use_state_monad = not !no_state;
         }
       in
-- 
cgit v1.2.3