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 3acc76af..60d013c9 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 @@ -101,7 +101,7 @@ - + @@ -144,7 +144,7 @@ - + @@ -2307,11 +2307,6 @@ - - - - - @@ -2352,16 +2347,6 @@ - - - - - - - - - - @@ -3254,16 +3239,6 @@ - - - - - - - - - - @@ -3378,6 +3353,44 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +