removed debug output

Former-commit-id: f9f58b55f4

src/solver/MathsatSmtSolver.cpp

@@ -408,7 +408,7 @@ namespace storm {
 
 		std::vector<storm::expressions::Expression> MathsatSmtSolver::getUnsatAssumptions() {
 #ifdef STORM_HAVE_MSAT
-            STORM_LOG_THROW(lastResult == SmtSolver::CheckResult::Unsat, storm::exceptions::InvalidStateException, "Unable to generate unsatisfiable core of assumptions, because the last check did not determine the formulas to be unsatisfiable.")
+            STORM_LOG_THROW(lastResult == SmtSolver::CheckResult::Unsat, storm::exceptions::InvalidStateException, "Unable to generate unsatisfiable core of assumptions, because the last check did not determine the formulas to be unsatisfiable.");
             STORM_LOG_THROW(lastCheckAssumptions, storm::exceptions::InvalidStateException, "Unable to generate unsatisfiable core of assumptions, because the last check did not involve assumptions.");
             
 			size_t numUnsatAssumpations;

src/utility/storm.cpp

@@ -11,7 +11,6 @@ namespace storm {
      storm::prism::Program parseProgram(std::string const& path) {
         storm::prism::Program program= storm::parser::PrismParser::parse(path).simplify().simplify();
         program.checkValidity();
-         std::cout << program << std::endl;
         return program;
     }