diff --git a/src/main/java/tmltranslator/tomappingsystemc2/Penalties.java b/src/main/java/tmltranslator/tomappingsystemc2/Penalties.java index 71e37ae34f30c78a409066d24332ea58741be93d..c3b8686faf630accd938f54640e3217fb3f4e64f 100644 --- a/src/main/java/tmltranslator/tomappingsystemc2/Penalties.java +++ b/src/main/java/tmltranslator/tomappingsystemc2/Penalties.java @@ -86,10 +86,19 @@ public class Penalties { } else if ((indexD > -1) && (indexU > -1)) { mustChange = true; } else { + String remaining = ""; if (indexD > -1) { mustChange = mustHandlePenalties == false; + remaining = data.substring(indexD+1); } else { mustChange = mustHandlePenalties == true; + remaining = data.substring(indexU+1); + } + if (mustChange == false) { + if (remaining.trim().length() > 0) { + mustChange = true; + } + } } } catch (FileException e) {