From 035bbd0952b4849ee0cc3e57b02fcf1cc5e07851 Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@rwth-aachen.de>
Date: Tue, 2 Oct 2018 18:53:44 +0200
Subject: [PATCH] removed spurious debugging output

---
 src/storm-parsers/parser/PrismParser.cpp | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/src/storm-parsers/parser/PrismParser.cpp b/src/storm-parsers/parser/PrismParser.cpp
index 68d8d77fb..4c0edbb34 100644
--- a/src/storm-parsers/parser/PrismParser.cpp
+++ b/src/storm-parsers/parser/PrismParser.cpp
@@ -561,7 +561,6 @@ namespace storm {
             bool observable = this->observables.count(variableName) > 0;
             if(observable) {
                 this->observables.erase(variableName);
-                std::cout << variableName << " is observable." << std::endl;
             }
             return storm::prism::BooleanVariable(manager->getVariable(variableName), initialValueExpression, observable, this->getFilename());
         }
@@ -582,7 +581,6 @@ namespace storm {
             bool observable = this->observables.count(variableName) > 0;
             if(observable) {
                 this->observables.erase(variableName);
-                std::cout << variableName << " is observable." << std::endl;
             }
 
             return storm::prism::IntegerVariable(manager->getVariable(variableName), lowerBoundExpression, upperBoundExpression, initialValueExpression, observable, this->getFilename());
@@ -613,7 +611,6 @@ namespace storm {
                     this->identifiers_.add(renamingPair->second, renamedVariable.getExpression());
                     if(this->observables.count(renamingPair->second) > 0) {
                         this->observables.erase(renamingPair->second);
-                        std::cout << renamingPair->second << " is observable." << std::endl;
                     }
                 }
                 for (auto const& variable : moduleToRename.getIntegerVariables()) {
@@ -623,7 +620,6 @@ namespace storm {
                     this->identifiers_.add(renamingPair->second, renamedVariable.getExpression());
                     if(this->observables.count(renamingPair->second) > 0) {
                         this->observables.erase(renamingPair->second);
-                        std::cout << renamingPair->second << " is observable." << std::endl;
                     }
                 }
                 
@@ -666,7 +662,6 @@ namespace storm {
                     bool observable = this->observables.count(renamingPair->second) > 0;
                     if(observable) {
                         this->observables.erase(renamingPair->second);
-                        std::cout << renamingPair->second << " is observable." << std::endl;
                     }
                     booleanVariables.push_back(storm::prism::BooleanVariable(manager->getVariable(renamingPair->second), variable.hasInitialValue() ? variable.getInitialValueExpression().substitute(expressionRenaming) : variable.getInitialValueExpression(), observable, this->getFilename(), get_line(qi::_1)));
                 }
@@ -679,7 +674,6 @@ namespace storm {
                     bool observable = this->observables.count(renamingPair->second) > 0;
                     if(observable) {
                         this->observables.erase(renamingPair->second);
-                        std::cout << renamingPair->second << " is observable." << std::endl;
                     }
                     integerVariables.push_back(storm::prism::IntegerVariable(manager->getVariable(renamingPair->second), variable.getLowerBoundExpression().substitute(expressionRenaming), variable.getUpperBoundExpression().substitute(expressionRenaming), variable.hasInitialValue() ? variable.getInitialValueExpression().substitute(expressionRenaming) : variable.getInitialValueExpression(), observable, this->getFilename(), get_line(qi::_1)));
                 }