diff --git a/build.xml b/build.xml index 98482437..6b43a2b1 100644 --- a/build.xml +++ b/build.xml @@ -292,7 +292,6 @@ - @@ -443,7 +442,6 @@ - @@ -530,7 +528,6 @@ - @@ -2305,7 +2302,6 @@ - @@ -2392,7 +2388,6 @@ - @@ -2479,7 +2474,6 @@ - diff --git a/samples/fitch/build.xml b/samples/fitch/build.xml index 8155465c..0432d267 100644 --- a/samples/fitch/build.xml +++ b/samples/fitch/build.xml @@ -943,7 +943,7 @@ - + @@ -1018,7 +1018,7 @@ - + @@ -1065,7 +1065,7 @@ - + @@ -1141,7 +1141,7 @@ - + @@ -1189,7 +1189,7 @@ - + @@ -1266,7 +1266,7 @@ - + @@ -1315,7 +1315,7 @@ - + @@ -1391,7 +1391,7 @@ - + @@ -1446,7 +1446,7 @@ - + diff --git a/samples/lambdacalc/build.xml b/samples/lambdacalc/build.xml index e5e56f28..e70c6730 100644 --- a/samples/lambdacalc/build.xml +++ b/samples/lambdacalc/build.xml @@ -414,7 +414,7 @@ - + @@ -481,7 +481,7 @@ - + diff --git a/samples/mpscore/build.xml b/samples/mpscore/build.xml index 0c4b020b..cb59eaef 100644 --- a/samples/mpscore/build.xml +++ b/samples/mpscore/build.xml @@ -960,6 +960,7 @@ + @@ -998,6 +999,7 @@ + @@ -1011,10 +1013,14 @@ + + + + @@ -1064,10 +1070,14 @@ + + + + @@ -1118,10 +1128,17 @@ + + + + + + + @@ -1158,7 +1175,9 @@ + + @@ -1181,12 +1200,17 @@ + + + + + @@ -1522,18 +1546,18 @@ - - - + + + @@ -1927,6 +1951,7 @@ + @@ -3126,10 +3151,8 @@ - - @@ -3137,10 +3160,12 @@ - + + +