From 5b678f524ae804578d589caa40bbdc3d2547688b Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@rwth-aachen.de>
Date: Wed, 2 May 2018 20:51:54 +0200
Subject: [PATCH] removed old spurious output

---
 src/storm/parser/JaniParser.cpp | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/storm/parser/JaniParser.cpp b/src/storm/parser/JaniParser.cpp
index a428ce4fa..10f98ff35 100644
--- a/src/storm/parser/JaniParser.cpp
+++ b/src/storm/parser/JaniParser.cpp
@@ -168,7 +168,6 @@ namespace storm {
             if (piStructure.count("lower") > 0) {
                 pi.lowerBound = parseExpression(piStructure.at("lower"), "Lower bound for property interval", {}, {});
                 // TODO substitute constants.
-                std::cout << "have lower bound" << std::endl;
                 STORM_LOG_THROW(!pi.lowerBound.containsVariables(), storm::exceptions::NotSupportedException, "Only constant expressions are supported as lower bounds");
             }
             if (piStructure.count("lower-exclusive") > 0) {
@@ -177,7 +176,6 @@ namespace storm {
                 
             }
             if (piStructure.count("upper") > 0) {
-                std::cout << "have upper bound" << std::endl;
                 pi.upperBound = parseExpression(piStructure.at("upper"), "Upper bound for property interval", {}, {});
                 // TODO substitute constants.
                 STORM_LOG_THROW(!pi.upperBound.containsVariables(), storm::exceptions::NotSupportedException, "Only constant expressions are supported as upper bounds");