diff --git a/build.xml b/build.xml index 3fbf30df..66184295 100644 --- a/build.xml +++ b/build.xml @@ -4178,6 +4178,7 @@ + @@ -4220,6 +4221,7 @@ + @@ -4279,6 +4281,7 @@ + @@ -4336,6 +4339,7 @@ + @@ -4382,6 +4386,7 @@ + @@ -4425,6 +4430,7 @@ + @@ -4503,6 +4509,7 @@ + @@ -4580,6 +4587,7 @@ + @@ -4652,6 +4660,7 @@ + @@ -4706,6 +4715,7 @@ + @@ -4760,6 +4770,7 @@ + @@ -4822,6 +4833,7 @@ + @@ -4879,6 +4891,7 @@ + @@ -4941,6 +4954,7 @@ + @@ -5002,6 +5016,7 @@ + @@ -5079,6 +5094,7 @@ + @@ -5122,6 +5138,7 @@ + @@ -5191,6 +5208,7 @@ + @@ -5260,6 +5278,7 @@ + @@ -5316,6 +5335,7 @@ + @@ -5376,6 +5396,7 @@ + @@ -5443,6 +5464,7 @@ + @@ -5507,6 +5529,7 @@ + @@ -5551,6 +5574,7 @@ + @@ -5597,6 +5621,7 @@ + @@ -5655,6 +5680,7 @@ + @@ -5714,6 +5740,7 @@ + @@ -5755,6 +5782,7 @@ + diff --git a/samples/fitch/build.xml b/samples/fitch/build.xml index 59c9349e..52794e95 100644 --- a/samples/fitch/build.xml +++ b/samples/fitch/build.xml @@ -867,6 +867,7 @@ + @@ -940,6 +941,7 @@ + @@ -986,6 +988,7 @@ + @@ -1060,6 +1063,7 @@ + @@ -1107,6 +1111,7 @@ + @@ -1182,6 +1187,7 @@ + @@ -1230,6 +1236,7 @@ + @@ -1304,6 +1311,7 @@ + @@ -1354,6 +1362,7 @@ + diff --git a/samples/lambdacalc/build.xml b/samples/lambdacalc/build.xml index f2284d2e..2ad249eb 100644 --- a/samples/lambdacalc/build.xml +++ b/samples/lambdacalc/build.xml @@ -369,6 +369,7 @@ + @@ -430,6 +431,7 @@ + diff --git a/samples/mpscore/build.xml b/samples/mpscore/build.xml index 7ea51461..da0c839b 100644 --- a/samples/mpscore/build.xml +++ b/samples/mpscore/build.xml @@ -440,6 +440,7 @@ + @@ -511,6 +512,7 @@ + @@ -587,6 +589,7 @@ +