From 534d2cf51b8f0fc5f1643112ed7f147c6155ca4d Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Thu, 18 Apr 2019 10:48:44 +0200
Subject: [PATCH] Fixed concatenation of multiple properties

---
 src/storm-dft-cli/storm-dft.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/storm-dft-cli/storm-dft.cpp b/src/storm-dft-cli/storm-dft.cpp
index 0db58195b..c3fcf269c 100644
--- a/src/storm-dft-cli/storm-dft.cpp
+++ b/src/storm-dft-cli/storm-dft.cpp
@@ -119,10 +119,10 @@ void processOptions() {
     if (!properties.empty()) {
         std::string propString;
         for (size_t i = 0; i < properties.size(); ++i) {
+            propString += properties[i];
             if (i + 1 < properties.size()) {
                 propString += ";";
             }
-            propString += properties[i];
         }
         props = storm::api::extractFormulasFromProperties(storm::api::parseProperties(propString));
     }