--- a/Nominal/ROOT.ML	Thu Jan 06 13:28:40 2011 +0000
+++ b/Nominal/ROOT.ML	Thu Jan 06 13:31:44 2011 +0000
@@ -25,5 +25,7 @@
     "Ex/Foo1",
     "Ex/Foo2",
     "Ex/CoreHaskell",
-    "Ex/CoreHaskell2"
+    "Ex/CoreHaskell2",
+
+    "Ex/Weakening"
     ];