Skip to content

Commit

Permalink
- minor bug fix
Browse files Browse the repository at this point in the history
  • Loading branch information
ptaeuber committed Jun 16, 2015
1 parent f2b42a7 commit b242720
Showing 1 changed file with 4 additions and 4 deletions.
8 changes: 4 additions & 4 deletions Compiler/BackEnd/Tearing.mo
Expand Up @@ -1919,21 +1919,21 @@ algorithm
print("*\n* The casual tearing set is not smaller\n* than the strict tearing set and there-\n* fore it is discarded.\n*" + BORDER + "\n");
end if;

if not Flags.getConfigBool(Flags.FORCE_TEARING) then
if not b and not Flags.getConfigBool(Flags.FORCE_TEARING) then
if Flags.isSet(Flags.TEARING_DUMP) or Flags.isSet(Flags.TEARING_DUMPVERBOSE) then
print("\nNote:\n=====\nTearing set is discarded because it is not smaller than the original set. Use +forceTearing to prevent this.\n\n");
end if;
true := b;
fail();
end if;
casualTearingSet := NONE();
end if;

else
if not Flags.getConfigBool(Flags.FORCE_TEARING) then
if not b and not Flags.getConfigBool(Flags.FORCE_TEARING) then
if Flags.isSet(Flags.TEARING_DUMP) or Flags.isSet(Flags.TEARING_DUMPVERBOSE) then
print("\nNote:\n=====\nTearing set is discarded because it is not smaller than the original set. Use +forceTearing to prevent this.\n\n");
end if;
true := b;
fail();
end if;
casualTearingSet := NONE();
end if;
Expand Down

0 comments on commit b242720

Please sign in to comment.