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";
     }
 
 }