From fb6755efb2bd50a0a086f4f961ed7113ec661397 Mon Sep 17 00:00:00 2001
From: Nicolas Berthier <m@nberth.space>
Date: Mon, 21 Sep 2015 15:17:30 +0200
Subject: [PATCH] Bugfix in ctrl2ept: do not reset symbol table after loading
 type declarations

---
 compiler/main/ctrl2ept.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/compiler/main/ctrl2ept.ml b/compiler/main/ctrl2ept.ml
index 970198f..8c7d804 100644
--- a/compiler/main/ctrl2ept.ml
+++ b/compiler/main/ctrl2ept.ml
@@ -107,7 +107,6 @@ let mk_std_oc =
 (** Parses the given input file. *)
 let parse_input ?filename (parse: ?filename:string -> _) =
   try
-    CtrlNbac.Symb.reset ();
     let s, n, msgs = parse ?filename () in
     report_msgs ?filename msgs;
     s, n
@@ -252,6 +251,7 @@ let main () =
 (* -------------------------------------------------------------------------- *)
 (** Launch the [main] *)
 let _ =
+  (* CtrlNbac.Symb.reset (); <- not needed as we have only one input file. *)
   try
     main ()
   with