diff --git a/samples/fitch/build.xml b/samples/fitch/build.xml index 301b9616..f6e832f6 100644 --- a/samples/fitch/build.xml +++ b/samples/fitch/build.xml @@ -87,9 +87,11 @@ + + @@ -247,9 +249,11 @@ + + @@ -405,9 +409,11 @@ + + @@ -563,9 +569,11 @@ + + diff --git a/samples/lambdacalc/build.xml b/samples/lambdacalc/build.xml index e30ec531..9ed135e1 100644 --- a/samples/lambdacalc/build.xml +++ b/samples/lambdacalc/build.xml @@ -91,9 +91,11 @@ + + diff --git a/samples/mpscore/build.xml b/samples/mpscore/build.xml index 79104167..5503ab11 100644 --- a/samples/mpscore/build.xml +++ b/samples/mpscore/build.xml @@ -84,9 +84,11 @@ + + @@ -249,9 +251,11 @@ + + @@ -348,9 +352,11 @@ + + @@ -508,6 +514,7 @@ + @@ -751,9 +758,11 @@ + + @@ -906,9 +915,11 @@ + + @@ -1061,9 +1072,11 @@ + + @@ -1215,9 +1228,11 @@ + + @@ -1371,9 +1386,11 @@ + + @@ -1799,9 +1816,11 @@ + + @@ -2026,9 +2045,11 @@ + + @@ -2187,9 +2208,11 @@ + + @@ -2344,9 +2367,11 @@ + + @@ -2502,9 +2527,11 @@ + + @@ -2658,9 +2685,11 @@ + + @@ -2881,9 +2910,11 @@ + + @@ -3042,9 +3073,11 @@ + + @@ -3197,9 +3230,11 @@ + + @@ -3398,9 +3433,11 @@ + + @@ -3563,9 +3600,11 @@ + + @@ -3662,9 +3701,11 @@ + + @@ -3822,6 +3863,7 @@ + @@ -4065,9 +4107,11 @@ + + @@ -4220,9 +4264,11 @@ + + @@ -4375,9 +4421,11 @@ + + @@ -4529,9 +4577,11 @@ + + @@ -4685,9 +4735,11 @@ + + @@ -4851,9 +4903,11 @@ + + @@ -5012,9 +5066,11 @@ + + @@ -5173,9 +5229,11 @@ + + @@ -5330,9 +5388,11 @@ + + @@ -5488,9 +5548,11 @@ + + @@ -5644,9 +5706,11 @@ + + @@ -5800,9 +5864,11 @@ + + @@ -5961,9 +6027,11 @@ + + @@ -6116,9 +6184,11 @@ + +