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);