cvc3 compatibility layer; and another libantlr3c v3.4 incompatibility fix

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

diff --git a/src/util/integer.i b/src/util/integer.i
index 4aaa532a7dc1cc9e2751fea7b1cc9809fbdf2ada..bad6b196fcafcc34ff6c82db196ab6f89415bf14 100644 (file)
--- a/src/util/integer.i
+++ b/src/util/integer.i
@@ -4,6 +4,7 @@
 
 %ignore CVC4::Integer::Integer(int);
 %ignore CVC4::Integer::Integer(unsigned int);
+%ignore CVC4::Integer::Integer(const std::string&);
 
 %rename(assign) CVC4::Integer::operator=(const Integer&);
 %rename(equals) CVC4::Integer::operator==(const Integer&) const;