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;