--- a/Nominal/ROOT.ML	Sat May 12 21:39:09 2012 +0100
+++ b/Nominal/ROOT.ML	Sat May 12 22:21:25 2012 +0100
@@ -18,12 +18,12 @@
     "Ex/LetRec2",
     "Ex/LetFun",
     "Ex/Modules",
+
     "Ex/SingleLet",
     "Ex/Shallow",
     "Ex/SystemFOmega",
     "Ex/TypeSchemes1",
     "Ex/TypeSchemes2",
-    "Ex/TypeVarsTest",
     "Ex/Foo1",
     "Ex/Foo2",
     "Ex/CoreHaskell",