From 35d2f542da27f1ab3b77c5e5efa3fa5a32c6e110 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Tue, 22 Oct 2024 09:58:21 +0200 Subject: [PATCH] Rebuild project --- build.xml | 20 ++++++++++------- samples/fitch/build.xml | 18 ++++++++------- samples/lambdacalc/build.xml | 15 ++++++------- samples/mpscore/build.xml | 43 +++++++++++++++++++++++++++++------- 4 files changed, 64 insertions(+), 32 deletions(-) diff --git a/build.xml b/build.xml index 261b7217..54cda0f3 100644 --- a/build.xml +++ b/build.xml @@ -3899,6 +3899,7 @@ + @@ -4153,6 +4154,7 @@ + @@ -4403,6 +4405,7 @@ + @@ -4730,6 +4733,7 @@ + @@ -4904,6 +4908,7 @@ + @@ -5356,6 +5361,7 @@ + @@ -5545,7 +5551,7 @@ - + @@ -5580,15 +5586,13 @@ - - - - + + + + - - - + diff --git a/samples/fitch/build.xml b/samples/fitch/build.xml index 8285592b..773fbbd4 100644 --- a/samples/fitch/build.xml +++ b/samples/fitch/build.xml @@ -948,6 +948,7 @@ + @@ -1094,6 +1095,7 @@ + @@ -1247,6 +1249,7 @@ + @@ -1400,6 +1403,7 @@ + @@ -1576,7 +1580,7 @@ - + @@ -1612,15 +1616,13 @@ - - - - + + + + - - - + diff --git a/samples/lambdacalc/build.xml b/samples/lambdacalc/build.xml index 090ce2f9..1cb89490 100644 --- a/samples/lambdacalc/build.xml +++ b/samples/lambdacalc/build.xml @@ -362,6 +362,7 @@ + @@ -469,7 +470,7 @@ - + @@ -506,15 +507,13 @@ - - - - + + + + - - - + diff --git a/samples/mpscore/build.xml b/samples/mpscore/build.xml index 87051247..17ec6cfa 100644 --- a/samples/mpscore/build.xml +++ b/samples/mpscore/build.xml @@ -10963,6 +10963,7 @@ + @@ -11113,6 +11114,7 @@ + @@ -11257,6 +11259,7 @@ + @@ -11407,6 +11410,7 @@ + @@ -11558,6 +11562,7 @@ + @@ -11709,6 +11714,7 @@ + @@ -11864,6 +11870,7 @@ + @@ -12008,6 +12015,7 @@ + @@ -12158,6 +12166,7 @@ + @@ -12300,6 +12309,7 @@ + @@ -12453,6 +12463,7 @@ + @@ -12613,6 +12624,7 @@ + @@ -12766,6 +12778,7 @@ + @@ -12922,6 +12935,7 @@ + @@ -13070,6 +13084,7 @@ + @@ -13208,6 +13223,7 @@ + @@ -13353,6 +13369,7 @@ + @@ -13503,6 +13520,7 @@ + @@ -13650,6 +13668,7 @@ + @@ -13789,6 +13808,7 @@ + @@ -14015,6 +14035,7 @@ + @@ -14169,6 +14190,7 @@ + @@ -14321,6 +14343,7 @@ + @@ -14473,6 +14496,7 @@ + @@ -14554,6 +14578,7 @@ + @@ -14697,6 +14722,7 @@ + @@ -14839,6 +14865,7 @@ + @@ -14991,6 +15018,7 @@ + @@ -15152,6 +15180,7 @@ + @@ -15899,7 +15928,7 @@ - + @@ -15934,15 +15963,13 @@ - - - - + + + + - - - +