# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1294320704 0
# Node ID 8ad8612e5d9b6f984ef41438d9ab85f327ee6476
# Parent  0579d3a48304bb5faa40f2702fc18870768d03df
added weakening to the test cases

diff -r 0579d3a48304 -r 8ad8612e5d9b Nominal/ROOT.ML
--- 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"
     ];