Minor fixes to various parts of CVC4, including the removal of the uintptr_t constructors for Type and Expr (which existed due to ANTLR limitations). These issues are now handled (as a hack, due to said limitations) in the parser rather than the CVC4 core.

1 files changed, 0 insertions, 7 deletions

diff --git a/src/expr/expr_template.cpp b/src/expr/expr_template.cpp
index b7000fea6..286ddf611 100644
--- a/src/expr/expr_template.cpp
+++ b/src/expr/expr_template.cpp
@@ -95,13 +95,6 @@ Expr::Expr(const Expr& e) :
   d_exprManager(e.d_exprManager) {
 }
 
-Expr::Expr(uintptr_t n) :
-  d_node(new Node),
-  d_exprManager(NULL) {
-
-  AlwaysAssert(n == 0);
-}
-
 Expr::~Expr() {
   ExprManagerScope ems(*this);
   delete d_node;