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

[hcoop/domtool2.git] / src / main.sml

diff --git a/src/main.sml b/src/main.sml
index 90a0ee4..aca57ed 100644 (file)
--- a/src/main.sml
+++ b/src/main.sml
@@ -787,7 +787,13 @@ fun requestFirewall {node, uname} =
 
 fun regenerate context =
     let
 
 fun regenerate context =
     let

+       val _ = ErrorMsg.reset ()
+

        val b = basis ()
        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 ()
        val () = Tycheck.disallowExterns ()
 
        val () = Domain.resetGlobal ()