diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.argument.modelquery/com.mbeddr.formal.safety.argument.modelquery.mpl b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.argument.modelquery/com.mbeddr.formal.safety.argument.modelquery.mpl index 47bdbc73..2f1d35b9 100644 --- a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.argument.modelquery/com.mbeddr.formal.safety.argument.modelquery.mpl +++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.argument.modelquery/com.mbeddr.formal.safety.argument.modelquery.mpl @@ -25,7 +25,6 @@ - e9ce245b-3106-45ed-8e5b-aff820d09b85(com.mbeddr.formal.base.tooling) 6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core) e8a04d94-4307-4f88-95a2-25f7c4f39437(com.mbeddr.formal.safety.gsn) 1f4710e9-f074-4732-a0bd-6fa896d282b7(com.mpsbasics.project.utils) @@ -59,7 +58,6 @@ - @@ -180,7 +178,7 @@ - e9ce245b-3106-45ed-8e5b-aff820d09b85(com.mbeddr.formal.base.tooling) + 1f4710e9-f074-4732-a0bd-6fa896d282b7(com.mpsbasics.project.utils) 92d2ea16-5a42-4fdf-a676-c7604efe3504(de.slisson.mps.richtext) diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.argument.modelquery/generator/templates/com.mbeddr.formal.safety.argument.modelquery.generator.templates@generator.mps b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.argument.modelquery/generator/templates/com.mbeddr.formal.safety.argument.modelquery.generator.templates@generator.mps index 5cc91938..8371eecf 100644 --- a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.argument.modelquery/generator/templates/com.mbeddr.formal.safety.argument.modelquery.generator.templates@generator.mps +++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.argument.modelquery/generator/templates/com.mbeddr.formal.safety.argument.modelquery.generator.templates@generator.mps @@ -8,12 +8,10 @@ - - diff --git a/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.assurance.build/models/com.fasten.assurance.build.mps b/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.assurance.build/models/com.fasten.assurance.build.mps index 9d4c475f..13db65b0 100644 --- a/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.assurance.build/models/com.fasten.assurance.build.mps +++ b/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.assurance.build/models/com.fasten.assurance.build.mps @@ -4959,11 +4959,6 @@ - - - - - @@ -5031,6 +5026,9 @@ + + + diff --git a/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.build/models/com.mbeddr.formal.safety.build.mps b/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.build/models/com.mbeddr.formal.safety.build.mps index d815beb1..df3cf909 100644 --- a/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.build/models/com.mbeddr.formal.safety.build.mps +++ b/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.build/models/com.mbeddr.formal.safety.build.mps @@ -10128,11 +10128,6 @@ - - - - - @@ -10200,6 +10195,9 @@ + + +