remove some debugging code that slowed down last night's regressions

[cvc5.git] / src / util / cardinality.i

diff --git a/src/util/cardinality.i b/src/util/cardinality.i
index 82f67382bf7eeb9f711c1fd740149091eb9cddbd..4e1382f87c4a691fce99531aee78faf94f7a6029 100644 (file)
--- a/src/util/cardinality.i
+++ b/src/util/cardinality.i
@@ -20,6 +20,7 @@
 %ignore CVC4::operator<<(std::ostream&, const Cardinality&);
 %ignore CVC4::operator<<(std::ostream&, Cardinality::Beth);
 
+namespace CVC4 {
   class Beth {
     Integer d_index;
 
@@ -40,6 +41,7 @@
     Unknown() throw() {}
     ~Unknown() throw() {}
   };/* class Cardinality::Unknown */
+}
 
 %include "util/cardinality.h"