From 3bd4d9c7bb628c388b8caa623f91670d19a74bdb Mon Sep 17 00:00:00 2001 From: Daniel Ratiu Date: Sun, 14 Feb 2021 21:39:21 +0100 Subject: [PATCH] fmea, build: mini fixes --- .../models/com.fasten.safety.fmea.editor.mps | 1 - .../models/com.mbeddr.formal.safety.build.mps | 2 +- 2 files changed, 1 insertion(+), 2 deletions(-) diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.fmea/models/com.fasten.safety.fmea.editor.mps b/code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.fmea/models/com.fasten.safety.fmea.editor.mps index 3adb9a994..b6bd4b858 100644 --- a/code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.fmea/models/com.fasten.safety.fmea.editor.mps +++ b/code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.fmea/models/com.fasten.safety.fmea.editor.mps @@ -262,7 +262,6 @@ - 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 a1bcd3018..63bce511a 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 @@ -2067,7 +2067,7 @@ - +