From 6f3525e4c80e2160e0f019952f151fa0c49c053f Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 29 Apr 2007 21:38:04 +0000
Subject: [PATCH 1/1] Fix bug that was occurring when two regen's were run in a
 row

---
 src/main.sml | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/src/main.sml b/src/main.sml
index 90a0ee4..aca57ed 100644
--- a/src/main.sml
+++ b/src/main.sml
@@ -787,7 +787,13 @@ fun requestFirewall {node, uname} =
 
 fun regenerate context =
     let
+	val _ = ErrorMsg.reset ()
+
 	val b = basis ()
+	val _ = if Env.lookupType b "string" then
+		    print "Still got it\n"
+		else
+		    print "Don't got it\n"
 	val () = Tycheck.disallowExterns ()
 
 	val () = Domain.resetGlobal ()
-- 
2.20.1