diff options
Diffstat (limited to 'src/main.ml')
-rw-r--r-- | src/main.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/main.ml b/src/main.ml index 7f7ed96c..0eaff02d 100644 --- a/src/main.ml +++ b/src/main.ml @@ -88,7 +88,8 @@ let () = let test_unit_functions = true in let micro_passes_config = { - Micro.unfold_monadic_let_bindings = true; + Micro.decompose_monadic_let_bindings = false; + unfold_monadic_let_bindings = true; filter_unused_monadic_calls = true; } in |