From 1a154f260fe613fd8857b97ee7a49234d8ed9c10 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Thu, 19 Feb 2026 09:59:54 +0100 Subject: [PATCH] Rebuild with latest MPS master --- build.xml | 26 +------------- samples/fitch/build.xml | 9 ----- samples/lambdacalc/build.xml | 2 -- samples/mpscore/build.xml | 68 ++---------------------------------- 4 files changed, 4 insertions(+), 101 deletions(-) diff --git a/build.xml b/build.xml index 8815b1db..ad420587 100644 --- a/build.xml +++ b/build.xml @@ -3657,7 +3657,6 @@ - @@ -3701,7 +3700,6 @@ - @@ -3778,7 +3776,6 @@ - @@ -3833,7 +3830,6 @@ - @@ -3903,7 +3899,6 @@ - @@ -3985,7 +3980,6 @@ - @@ -4049,7 +4043,6 @@ - @@ -4158,7 +4151,6 @@ - @@ -4251,7 +4243,6 @@ - @@ -4339,7 +4330,6 @@ - @@ -4426,7 +4416,6 @@ - @@ -4520,7 +4509,6 @@ - @@ -4603,7 +4591,6 @@ - @@ -4694,7 +4681,6 @@ - @@ -4772,7 +4758,6 @@ - @@ -4863,7 +4848,6 @@ - @@ -4962,7 +4946,6 @@ - @@ -5034,7 +5017,6 @@ - @@ -5128,7 +5110,6 @@ - @@ -5208,7 +5189,6 @@ - @@ -5276,7 +5256,6 @@ - @@ -5352,7 +5331,6 @@ - @@ -5435,7 +5413,6 @@ - @@ -5522,7 +5499,6 @@ - @@ -5602,7 +5578,6 @@ - @@ -5682,6 +5657,7 @@ + diff --git a/samples/fitch/build.xml b/samples/fitch/build.xml index 850f27ab..7bb19c99 100644 --- a/samples/fitch/build.xml +++ b/samples/fitch/build.xml @@ -929,7 +929,6 @@ - @@ -1010,7 +1009,6 @@ - @@ -1075,7 +1073,6 @@ - @@ -1172,7 +1169,6 @@ - @@ -1238,7 +1234,6 @@ - @@ -1336,7 +1331,6 @@ - @@ -1403,7 +1397,6 @@ - @@ -1500,7 +1493,6 @@ - @@ -1570,7 +1562,6 @@ - diff --git a/samples/lambdacalc/build.xml b/samples/lambdacalc/build.xml index 794bf426..4a08f6c6 100644 --- a/samples/lambdacalc/build.xml +++ b/samples/lambdacalc/build.xml @@ -344,7 +344,6 @@ - @@ -426,7 +425,6 @@ - diff --git a/samples/mpscore/build.xml b/samples/mpscore/build.xml index c000286d..97d41b58 100644 --- a/samples/mpscore/build.xml +++ b/samples/mpscore/build.xml @@ -10805,6 +10805,7 @@ + @@ -10938,7 +10939,6 @@ - @@ -11027,7 +11027,6 @@ - @@ -11097,7 +11096,6 @@ - @@ -11187,7 +11185,6 @@ - @@ -11258,7 +11255,6 @@ - @@ -11341,7 +11337,6 @@ - @@ -11411,7 +11406,6 @@ - @@ -11501,7 +11495,6 @@ - @@ -11573,7 +11566,6 @@ - @@ -11662,7 +11654,6 @@ - @@ -11733,7 +11724,6 @@ - @@ -11823,7 +11813,6 @@ - @@ -11898,7 +11887,6 @@ - @@ -11989,7 +11977,6 @@ - @@ -12058,7 +12045,6 @@ - @@ -12142,7 +12128,6 @@ - @@ -12213,7 +12198,6 @@ - @@ -12302,7 +12286,6 @@ - @@ -12371,7 +12354,6 @@ - @@ -12454,7 +12436,6 @@ - @@ -12527,7 +12508,6 @@ - @@ -12617,7 +12597,6 @@ - @@ -12697,7 +12676,6 @@ - @@ -12787,7 +12765,6 @@ - @@ -12857,7 +12834,6 @@ - @@ -12949,7 +12925,6 @@ - @@ -13025,7 +13000,6 @@ - @@ -13117,7 +13091,6 @@ - @@ -13192,7 +13165,6 @@ - @@ -13272,7 +13244,6 @@ - @@ -13338,7 +13309,6 @@ - @@ -13422,7 +13392,6 @@ - @@ -13493,7 +13462,6 @@ - @@ -13580,7 +13548,6 @@ - @@ -13652,7 +13619,6 @@ - @@ -13740,7 +13706,6 @@ - @@ -13810,7 +13775,6 @@ - @@ -13894,7 +13858,6 @@ - @@ -13961,7 +13924,6 @@ - @@ -13983,6 +13945,7 @@ + @@ -14041,7 +14004,6 @@ - @@ -14128,7 +14090,6 @@ - @@ -14200,7 +14161,6 @@ - @@ -14287,7 +14247,6 @@ - @@ -14357,7 +14316,6 @@ - @@ -14452,7 +14410,6 @@ - @@ -14520,7 +14477,6 @@ - @@ -14612,7 +14568,6 @@ - @@ -14680,7 +14635,6 @@ - @@ -14774,7 +14728,6 @@ - @@ -14858,7 +14811,6 @@ - @@ -14927,7 +14879,6 @@ - @@ -15011,7 +14962,6 @@ - @@ -15080,7 +15030,6 @@ - @@ -15163,7 +15112,6 @@ - @@ -15235,7 +15183,6 @@ - @@ -15325,7 +15272,6 @@ - @@ -15405,7 +15351,6 @@ - @@ -15500,7 +15445,6 @@ - @@ -15575,7 +15519,6 @@ - @@ -15671,7 +15614,6 @@ - @@ -15775,7 +15717,6 @@ - @@ -15874,7 +15815,6 @@ - @@ -15971,7 +15911,6 @@ - @@ -16066,7 +16005,6 @@ - @@ -16165,7 +16103,6 @@ - @@ -16245,6 +16182,7 @@ +