--- a/Nominal/ROOT.ML	Tue Dec 21 10:28:08 2010 +0000
+++ b/Nominal/ROOT.ML	Wed Dec 22 09:13:25 2010 +0000
@@ -25,4 +25,5 @@
     (*"Ex/Foo1",
     "Ex/Foo2",*)
     "Ex/CoreHaskell"
+    "Ex/CoreHaskell2"
     ];