From 5f7cd177890b1f58b964a94c90866bf5ab560aa8 Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Tue, 13 Mar 2018 19:42:56 +0100
Subject: [PATCH] added printing info when value type is converted after
 preprocessing

---
 src/storm-cli-utilities/model-handling.h | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/storm-cli-utilities/model-handling.h b/src/storm-cli-utilities/model-handling.h
index b1d667d64..3667d0af2 100644
--- a/src/storm-cli-utilities/model-handling.h
+++ b/src/storm-cli-utilities/model-handling.h
@@ -679,10 +679,11 @@ namespace storm {
                 verifyWithExplorationEngine<VerificationValueType>(input);
             } else {
                 std::shared_ptr<storm::models::ModelBase> model = buildPreprocessExportModelWithValueTypeAndDdlib<DdType, BuildValueType>(input, engine);
-                
+
                 if (model) {
                     if (!std::is_same<BuildValueType, VerificationValueType>::value) {
                         if (model->isSymbolicModel()) {
+                            STORM_LOG_INFO("Converting symbolic model value type to fit the verification value type.");
                             auto symbolicModel = model->as<storm::models::symbolic::Model<DdType, BuildValueType>>();
                             model = symbolicModel->template toValueType<VerificationValueType>();
                         }