From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 29 Apr 2007 21:38:04 +0000 (+0000)
Subject: Fix bug that was occurring when two regen's were run in a row
X-Git-Tag: release_2010-11-19~222
X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/commitdiff_plain/6f3525e4c80e2160e0f019952f151fa0c49c053f?hp=5cab5a9811e767a649e57b4012fbc19635dae11e

Fix bug that was occurring when two regen's were run in a row
---

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 ()