diff options
Diffstat (limited to 'src/Translate.ml')
| -rw-r--r-- | src/Translate.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Translate.ml b/src/Translate.ml index d51ec826..8084dc38 100644 --- a/src/Translate.ml +++ b/src/Translate.ml @@ -138,7 +138,7 @@ let translate_function_to_pure (config : C.partial_config) let sp_config = { SymbolicToPure.filter_useless_back_calls = - mp_config.filter_unused_monadic_calls; + mp_config.filter_useless_monadic_calls; } in |