From 3d99e35c0d85e1b137c7d62b4612ecfca1505830 Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Sat, 18 Oct 2014 19:33:49 +0200
Subject: [PATCH] Removed duplicate output of resulting function.

Former-commit-id: 95e93a6a902dcc239bbfa146c4a29e35f6ee65e4
---
 src/stormParametric.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/stormParametric.cpp b/src/stormParametric.cpp
index a33142cbc..d9e36182a 100644
--- a/src/stormParametric.cpp
+++ b/src/stormParametric.cpp
@@ -171,8 +171,8 @@ int main(const int argc, const char** argv) {
         storm::modelchecker::reachability::SparseSccModelChecker<storm::RationalFunction> modelchecker;
 
         storm::RationalFunction valueFunction = modelchecker.computeReachabilityProbability(*dtmc, filterFormula);
-        STORM_PRINT_AND_LOG(std::endl << "Result: (" << carl::computePolynomial(valueFunction.nominator()) << ") / (" << carl::computePolynomial(valueFunction.denominator()) << ")" << std::endl);
-        STORM_PRINT_AND_LOG(std::endl << "Result: (" << valueFunction.nominator() << ") / (" << valueFunction.denominator() << ")" << std::endl);
+//        STORM_PRINT_AND_LOG(std::endl << "Result: (" << carl::computePolynomial(valueFunction.nominator()) << ") / (" << carl::computePolynomial(valueFunction.denominator()) << ")" << std::endl);
+//        STORM_PRINT_AND_LOG(std::endl << "Result: (" << valueFunction.nominator() << ") / (" << valueFunction.denominator() << ")" << std::endl);
         STORM_PRINT_AND_LOG(std::endl << "Result: " << valueFunction << std::endl);
     
 //    // Perform bisimulation minimization if requested.