X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/5cab5a9811e767a649e57b4012fbc19635dae11e..6f3525e4c80e2160e0f019952f151fa0c49c053f:/src/main.sml

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