diff --git a/build.xml b/build.xml index f78ff945..8d8f376d 100644 --- a/build.xml +++ b/build.xml @@ -38,6 +38,10 @@ + + + + @@ -3425,7 +3429,8 @@ - + + @@ -3606,9 +3611,7 @@ - - - + diff --git a/samples/fitch/build.xml b/samples/fitch/build.xml index 91e9e395..503a1ec6 100644 --- a/samples/fitch/build.xml +++ b/samples/fitch/build.xml @@ -41,6 +41,10 @@ + + + + @@ -765,7 +769,8 @@ - + + @@ -917,9 +922,7 @@ - - - + diff --git a/samples/lambdacalc/build.xml b/samples/lambdacalc/build.xml index 6d908d28..69ce9c67 100644 --- a/samples/lambdacalc/build.xml +++ b/samples/lambdacalc/build.xml @@ -41,6 +41,10 @@ + + + + @@ -245,7 +249,8 @@ - + + @@ -398,9 +403,7 @@ - - - + diff --git a/samples/mpscore/build.xml b/samples/mpscore/build.xml index 7032fa3e..0f0f1379 100644 --- a/samples/mpscore/build.xml +++ b/samples/mpscore/build.xml @@ -45,6 +45,10 @@ + + + + @@ -6323,7 +6327,8 @@ - + + @@ -6502,9 +6507,7 @@ - - - +