--- a/Nominal/ROOT.ML	Wed Dec 22 09:13:25 2010 +0000
+++ b/Nominal/ROOT.ML	Wed Dec 22 10:32:01 2010 +0000
@@ -24,6 +24,6 @@
     "Ex/TypeVarsTest",
     (*"Ex/Foo1",
     "Ex/Foo2",*)
-    "Ex/CoreHaskell"
+    "Ex/CoreHaskell",
     "Ex/CoreHaskell2"
     ];