diff --git a/samples/fitch/build.xml b/samples/fitch/build.xml index c390d61f..aeb6dc2c 100644 --- a/samples/fitch/build.xml +++ b/samples/fitch/build.xml @@ -1725,6 +1725,39 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/samples/lambdacalc/build.xml b/samples/lambdacalc/build.xml index 064fb68f..96b199b2 100644 --- a/samples/lambdacalc/build.xml +++ b/samples/lambdacalc/build.xml @@ -721,6 +721,39 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +