From 6f42cbd325f6d9474d58720e3d7e7d5e84c3fc4b Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@hotmail.com>
Date: Mon, 1 Jun 2015 09:22:19 -0700
Subject: [PATCH] remove std-out

Signed-off-by: Nikolaj Bjorner <nbjorner@hotmail.com>
---
 src/muz/base/rule_properties.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/muz/base/rule_properties.cpp b/src/muz/base/rule_properties.cpp
index 5d1aff44e..455e02e45 100644
--- a/src/muz/base/rule_properties.cpp
+++ b/src/muz/base/rule_properties.cpp
@@ -194,7 +194,6 @@ void rule_properties::operator()(app* n) {
         }
     }
     else {
-        std::cout << mk_pp(n, m) << "\n";
     }
 
 }