From b711e050c109fcb88d01a581a1209caaaa34e9f5 Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@gmail.com>
Date: Sun, 12 Feb 2017 14:12:38 +0100
Subject: [PATCH] Export jani before constant replacement.

---
 src/storm/cli/cli.cpp | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/src/storm/cli/cli.cpp b/src/storm/cli/cli.cpp
index d9b83074e..01430d141 100644
--- a/src/storm/cli/cli.cpp
+++ b/src/storm/cli/cli.cpp
@@ -270,11 +270,14 @@ namespace storm {
                 } else {
                     constantDefinitions = model.parseConstantDefinitions(constantDefinitionString);
                 }
-                model = model.preprocess(constantDefinitions);
-                
+
                 if (model.isJaniModel() && storm::settings::getModule<storm::settings::modules::JaniExportSettings>().isJaniFileSet()) {
                     exportJaniModel(model.asJaniModel(), properties, storm::settings::getModule<storm::settings::modules::JaniExportSettings>().getJaniFilename());
                 }
+
+                model = model.preprocess(constantDefinitions);
+                
+
                 
                 if (ioSettings.isNoBuildModelSet()) {
                     return;