diff --git a/build.xml b/build.xml index d5a207e5..6c424da4 100644 --- a/build.xml +++ b/build.xml @@ -3567,10 +3567,13 @@ + + + @@ -3901,7 +3904,6 @@ - @@ -4156,7 +4158,6 @@ - @@ -4407,7 +4408,6 @@ - @@ -4735,7 +4735,6 @@ - @@ -4910,7 +4909,6 @@ - @@ -5363,7 +5361,6 @@ - @@ -5569,6 +5566,8 @@ + + diff --git a/samples/fitch/build.xml b/samples/fitch/build.xml index 773fbbd4..74f9a2d2 100644 --- a/samples/fitch/build.xml +++ b/samples/fitch/build.xml @@ -848,6 +848,8 @@ + + @@ -948,7 +950,6 @@ - @@ -1095,7 +1096,6 @@ - @@ -1249,7 +1249,6 @@ - @@ -1403,7 +1402,6 @@ - @@ -1596,6 +1594,8 @@ + + diff --git a/samples/lambdacalc/build.xml b/samples/lambdacalc/build.xml index 1cb89490..ff7022b5 100644 --- a/samples/lambdacalc/build.xml +++ b/samples/lambdacalc/build.xml @@ -276,6 +276,8 @@ + + @@ -362,7 +364,6 @@ - @@ -490,6 +491,8 @@ + + diff --git a/samples/mpscore/build.xml b/samples/mpscore/build.xml index 130f85a9..b9f19373 100644 --- a/samples/mpscore/build.xml +++ b/samples/mpscore/build.xml @@ -10814,6 +10814,8 @@ + + @@ -10963,7 +10965,6 @@ - @@ -11114,7 +11115,6 @@ - @@ -11259,7 +11259,6 @@ - @@ -11410,7 +11409,6 @@ - @@ -11562,7 +11560,6 @@ - @@ -11714,7 +11711,6 @@ - @@ -11870,7 +11866,6 @@ - @@ -12015,7 +12010,6 @@ - @@ -12166,7 +12160,6 @@ - @@ -12309,7 +12302,6 @@ - @@ -12463,7 +12455,6 @@ - @@ -12624,7 +12615,6 @@ - @@ -12778,7 +12768,6 @@ - @@ -12935,7 +12924,6 @@ - @@ -13084,7 +13072,6 @@ - @@ -13223,7 +13210,6 @@ - @@ -13369,7 +13355,6 @@ - @@ -13520,7 +13505,6 @@ - @@ -13668,7 +13652,6 @@ - @@ -13808,7 +13791,6 @@ - @@ -14035,7 +14017,6 @@ - @@ -14190,7 +14171,6 @@ - @@ -14343,7 +14323,6 @@ - @@ -14496,7 +14475,6 @@ - @@ -14578,7 +14556,6 @@ - @@ -14722,7 +14699,6 @@ - @@ -14865,7 +14841,6 @@ - @@ -15018,7 +14993,6 @@ - @@ -15180,7 +15154,6 @@ - @@ -15944,6 +15917,8 @@ + +