--- a/Nominal/ROOT.ML	Wed Mar 27 17:23:00 2013 +0000
+++ b/Nominal/ROOT.ML	Mon Apr 01 23:22:53 2013 +0100
@@ -28,7 +28,8 @@
     "Ex/Foo2",
     "Ex/CoreHaskell",
     "Ex/CoreHaskell2",
-    "Ex/Pi"
+    "Ex/Pi",
+    "Ex/Local_Contexts"
    ];
 
 quick_and_dirty := true;