From c2cea6d0ac2df1cbfdccddd2b5df48f31ee6b288 Mon Sep 17 00:00:00 2001
From: Brian Campbell
Date: Thu, 17 May 2018 14:37:26 +0100
Subject: Remove sequential code again

---
 src/process_file.ml | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

(limited to 'src/process_file.ml')

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"
-- 
cgit v1.2.3