From d362da6a601b06a08134525305775f71e51a00f2 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Thu, 4 Feb 2021 12:52:13 +0100 Subject: [PATCH] Rebuild project --- build.xml | 14 ++++++-------- samples/fitch/build.xml | 3 +-- samples/lambdacalc/build.xml | 3 +-- samples/mpscore/build.xml | 21 +++++++-------------- 4 files changed, 15 insertions(+), 26 deletions(-) diff --git a/build.xml b/build.xml index 69279f89..449c4576 100644 --- a/build.xml +++ b/build.xml @@ -171,6 +171,7 @@ + @@ -2350,6 +2351,7 @@ + @@ -4528,8 +4530,7 @@ - - + @@ -4790,8 +4791,7 @@ - - + @@ -5128,8 +5128,7 @@ - - + @@ -5876,8 +5875,7 @@ - - + diff --git a/samples/fitch/build.xml b/samples/fitch/build.xml index 624bfe3a..025715dc 100644 --- a/samples/fitch/build.xml +++ b/samples/fitch/build.xml @@ -1529,8 +1529,7 @@ - - + diff --git a/samples/lambdacalc/build.xml b/samples/lambdacalc/build.xml index b6706771..9f2f6840 100644 --- a/samples/lambdacalc/build.xml +++ b/samples/lambdacalc/build.xml @@ -513,8 +513,7 @@ - - + diff --git a/samples/mpscore/build.xml b/samples/mpscore/build.xml index cad696dd..96101ae9 100644 --- a/samples/mpscore/build.xml +++ b/samples/mpscore/build.xml @@ -3228,8 +3228,7 @@ - - + @@ -4338,8 +4337,7 @@ - - + @@ -4427,8 +4425,7 @@ - - + @@ -4513,8 +4510,7 @@ - - + @@ -4719,8 +4715,7 @@ - - + @@ -5168,8 +5163,7 @@ - - + @@ -5372,8 +5366,7 @@ - - +