diff --git a/build.xml b/build.xml index 8dc53e44..5f517b1a 100644 --- a/build.xml +++ b/build.xml @@ -5680,6 +5680,7 @@ + diff --git a/samples/fitch/build.xml b/samples/fitch/build.xml index 69bbeaf3..f512b89f 100644 --- a/samples/fitch/build.xml +++ b/samples/fitch/build.xml @@ -1640,6 +1640,7 @@ + diff --git a/samples/lambdacalc/build.xml b/samples/lambdacalc/build.xml index e86adb36..3d62a3d1 100644 --- a/samples/lambdacalc/build.xml +++ b/samples/lambdacalc/build.xml @@ -673,6 +673,7 @@ + diff --git a/samples/mpscore/build.xml b/samples/mpscore/build.xml index 05d1828f..963945f0 100644 --- a/samples/mpscore/build.xml +++ b/samples/mpscore/build.xml @@ -1614,6 +1614,7 @@ +