fixed additional semicolon in CannotSlip Formulas

2 years ago · 7e932200ca
1 changed files with 1 additions and 1 deletions
--- a/util/PrismFormulaPrinter.cpp
+++ b/util/PrismFormulaPrinter.cpp
@ -158,7 +158,7 @@ namespace prism {
      std::string identifier = capitalize(box.getColor()) + box.getType();
      os << " | " << objectPositionToConjunction(agentName, identifier, slipCell);
    }
-    os << ";\n";
+    if(!semicolon) os << ";\n";
  }

  std::string PrismFormulaPrinter::buildFormula(const std::string &formulaName, const std::string &formula, const bool semicolon) {