diff --git a/samples/fitch/build.xml b/samples/fitch/build.xml index 15587067..8f1dde7b 100644 --- a/samples/fitch/build.xml +++ b/samples/fitch/build.xml @@ -1032,7 +1032,7 @@ - + @@ -1162,7 +1162,7 @@ - + @@ -1294,7 +1294,7 @@ - + @@ -1426,7 +1426,7 @@ - + @@ -1554,7 +1554,7 @@ - + diff --git a/samples/lambdacalc/build.xml b/samples/lambdacalc/build.xml index b0a637fb..5fbd89e8 100644 --- a/samples/lambdacalc/build.xml +++ b/samples/lambdacalc/build.xml @@ -468,7 +468,7 @@ - + @@ -543,7 +543,7 @@ - +