diff --git a/samples/fitch/build.xml b/samples/fitch/build.xml index 52794e95..22f5aaf3 100644 --- a/samples/fitch/build.xml +++ b/samples/fitch/build.xml @@ -915,7 +915,7 @@ - + @@ -1037,7 +1037,7 @@ - + @@ -1161,7 +1161,7 @@ - + @@ -1285,7 +1285,7 @@ - + @@ -1410,7 +1410,7 @@ - + diff --git a/samples/lambdacalc/build.xml b/samples/lambdacalc/build.xml index 2ad249eb..68c6a55c 100644 --- a/samples/lambdacalc/build.xml +++ b/samples/lambdacalc/build.xml @@ -404,7 +404,7 @@ - + @@ -476,7 +476,7 @@ - + diff --git a/samples/mpscore/build.xml b/samples/mpscore/build.xml index da0c839b..ec9efabf 100644 --- a/samples/mpscore/build.xml +++ b/samples/mpscore/build.xml @@ -485,7 +485,7 @@ - + @@ -560,7 +560,7 @@ - + @@ -637,7 +637,7 @@ - +