diff options
Diffstat (limited to 'src/process_file.ml')
| -rw-r--r-- | src/process_file.ml | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/src/process_file.ml b/src/process_file.ml index 1d4c5f03..34c1a255 100644 --- a/src/process_file.ml +++ b/src/process_file.ml @@ -243,10 +243,7 @@ let output_lem filename libs defs = let generated_line = generated_line filename in (* let seq_suffix = if !Pretty_print_lem.opt_sequential then "_sequential" else "" in *) let types_module = (filename ^ "_types") in - let monad_modules = (*["Prompt_monad"; "Prompt"; "State"] in*) - if !Pretty_print_lem.opt_sequential - then ["State_monad"; "State"] - else ["Prompt_monad"; "Prompt"] in + let monad_modules = ["Prompt_monad"; "Prompt"] in let operators_module = if !Pretty_print_lem.opt_mwords then "Sail_operators_mwords" |