Remove sequential code again

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"