diff -r 18f20d75b463 -r b27e94db1b8a Nominal/ROOT.ML
--- a/Nominal/ROOT.ML	Fri Dec 23 10:36:34 2011 +0000
+++ b/Nominal/ROOT.ML	Fri Dec 23 15:04:01 2011 +0000
@@ -26,7 +26,8 @@
     "Ex/Foo1",
     "Ex/Foo2",
     "Ex/CoreHaskell",
-    "Ex/CoreHaskell2" 
+    "Ex/CoreHaskell2", 
+    "Ex/Pi"
    ];
 
 quick_and_dirty := true;