diff --git a/util/PrismFormulaPrinter.cpp b/util/PrismFormulaPrinter.cpp
index ef2f5a5..4f1d4d1 100644
--- 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) {