From 6fd75ac37ec49d157ff4a7d7cfcdc2ac3f81fed3 Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Tue, 11 Jul 2017 22:01:02 +0200
Subject: [PATCH] fixed issue in cli related to transforming PRISM to JANI
---
src/storm/cli/cli.cpp | 2 --
1 file changed, 2 deletions(-)
diff --git a/src/storm/cli/cli.cpp b/src/storm/cli/cli.cpp
index c84fce107..343006c6d 100644
--- a/src/storm/cli/cli.cpp
+++ b/src/storm/cli/cli.cpp
@@ -311,8 +311,6 @@ namespace storm {
transformToJani |= transformToJaniForJit;
if (transformToJani) {
- SymbolicInput output;
-
storm::prism::Program const& model = output.model.get().asPrismProgram();
auto modelAndRenaming = model.toJaniWithLabelRenaming(true);
output.model = modelAndRenaming.first;