From 3c098f085a29033d8340151aa5a6b836cd34c54d Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@rwth-aachen.de>
Date: Wed, 19 Aug 2015 10:17:49 +0200
Subject: [PATCH] In principal, we need a fixpoint iteration for the static
 simplification. For now, we just call simplify twice.

Former-commit-id: 41d1d6e133544bef66a279c7966684d9e95a56f4
---
 src/utility/cli.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/utility/cli.cpp b/src/utility/cli.cpp
index efa026c7e..106ea143c 100644
--- a/src/utility/cli.cpp
+++ b/src/utility/cli.cpp
@@ -212,7 +212,7 @@ namespace storm {
                 boost::optional<storm::prism::Program> program;
                 if (settings.isSymbolicSet()) {
                     std::string const& programFile = settings.getSymbolicModelFilename();
-                    program = storm::parser::PrismParser::parse(programFile).simplify();
+                    program = storm::parser::PrismParser::parse(programFile).simplify().simplify();
                     
                     program->checkValidity();
                     std::cout << program.get() << std::endl;