From 211994bff9f69ddcc86ccb5f91fa6f11458586d4 Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Sun, 21 Feb 2016 21:35:09 +0100
Subject: [PATCH] removed debug output

Former-commit-id: 915be7778b54e3f9a93a792b4f184eff83a0d957
---
 src/storage/dd/cudd/InternalCuddAdd.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/storage/dd/cudd/InternalCuddAdd.cpp b/src/storage/dd/cudd/InternalCuddAdd.cpp
index e30fd71e6..0925b4f58 100644
--- a/src/storage/dd/cudd/InternalCuddAdd.cpp
+++ b/src/storage/dd/cudd/InternalCuddAdd.cpp
@@ -230,7 +230,6 @@ namespace storm {
             if (numberOfDdVariables == 0) {
                 return 0;
             }
-            std::cout << "num dd vars: " << numberOfDdVariables << std::endl;
             return static_cast<uint_fast64_t>(this->getCuddAdd().CountMinterm(static_cast<int>(numberOfDdVariables)));
         }