From 0f5c4708ca733617b7f1ca5b470ce025d2cd7884 Mon Sep 17 00:00:00 2001
From: hannah <hannah.mertens@rwth-aachen.de>
Date: Mon, 26 Apr 2021 23:46:20 +0200
Subject: [PATCH] corrected exception

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

diff --git a/src/storm/automata/LTL2DeterministicAutomaton.cpp b/src/storm/automata/LTL2DeterministicAutomaton.cpp
index 8e18d8328..3833db73e 100644
--- a/src/storm/automata/LTL2DeterministicAutomaton.cpp
+++ b/src/storm/automata/LTL2DeterministicAutomaton.cpp
@@ -20,7 +20,7 @@ namespace storm {
 #ifdef STORM_HAVE_SPOT
 
             std::string prefixLtl = f.toPrefixString();
-            spot::parsed_formula spotPrefixLtl = spot::parse_prefix_ltl("())");
+            spot::parsed_formula spotPrefixLtl = spot::parse_prefix_ltl(prefixLtl);
             if(!spotPrefixLtl.errors.empty()){
                 std::ostringstream errorMsg;
                 spotPrefixLtl.format_errors(errorMsg);