From c5050313c595e529ae39c45a15921f218b762d60 Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Mon, 17 Jun 2013 17:47:30 +0200
Subject: [PATCH] Added model information output for explicit input.

Former-commit-id: 72740f15ba6bf66fc5a656d5c10445a612e50893
---
 src/storm.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/storm.cpp b/src/storm.cpp
index dec23fffc..7785122fc 100644
--- a/src/storm.cpp
+++ b/src/storm.cpp
@@ -285,10 +285,10 @@ int main(const int argc, const char* argv[]) {
 
 			// Depending on the model type, the appropriate model checking procedure is chosen.
             storm::modelchecker::prctl::AbstractModelChecker<double>* modelchecker = nullptr;
+            parser.getModel<storm::models::AbstractModel<double>>()->printModelInformationToStream(std::cout);
 			switch (parser.getType()) {
 			case storm::models::DTMC:
 				LOG4CPLUS_INFO(logger, "Model is a DTMC.");
-                parser.getModel<storm::models::Dtmc<double>>()->writeDotToStream(std::cout);
                 modelchecker = createPrctlModelChecker(*parser.getModel<storm::models::Dtmc<double>>());
 				checkPrctlFormulae(*modelchecker);
 				break;