diff --git a/build.xml b/build.xml index ae8dbc1a..4a846225 100644 --- a/build.xml +++ b/build.xml @@ -31,6 +31,7 @@ + diff --git a/samples/fitch/build.xml b/samples/fitch/build.xml index dca2a981..b909ca7b 100644 --- a/samples/fitch/build.xml +++ b/samples/fitch/build.xml @@ -34,6 +34,7 @@ + diff --git a/samples/lambdacalc/build.xml b/samples/lambdacalc/build.xml index e1bd5823..d43c22f9 100644 --- a/samples/lambdacalc/build.xml +++ b/samples/lambdacalc/build.xml @@ -34,6 +34,7 @@ + diff --git a/samples/mpscore/build.xml b/samples/mpscore/build.xml index d5395df6..3c8e4db0 100644 --- a/samples/mpscore/build.xml +++ b/samples/mpscore/build.xml @@ -38,6 +38,7 @@ +