Removing Expr::operator=(uintptr_t n), as it's no longer used by the parser.

2 files changed, 0 insertions, 20 deletions

diff --git a/src/expr/expr_template.cpp b/src/expr/expr_template.cpp
index ebab8ec6d..7c723d338 100644
--- a/src/expr/expr_template.cpp
+++ b/src/expr/expr_template.cpp
@@ -78,17 +78,6 @@ Expr& Expr::operator=(const Expr& e) {
   return *this;
 }
 
-/* This should only ever be assigning NULL to a null Expr! */
-Expr& Expr::operator=(uintptr_t n) {
-  AlwaysAssert(n == 0);
-  Assert(d_node != NULL, "Unexpected NULL expression pointer!");
-
-  if(EXPECT_FALSE( !isNull() )) {
-    *d_node = Node::null();
-  }
-  return *this;
-}
-
 bool Expr::operator==(const Expr& e) const {
   if(d_exprManager != e.d_exprManager) {
     return false;
diff --git a/src/expr/expr_template.h b/src/expr/expr_template.h
index efbdec2de..2fa10ceb8 100644
--- a/src/expr/expr_template.h
+++ b/src/expr/expr_template.h
@@ -90,15 +90,6 @@ public:
    */
   Expr& operator=(const Expr& e);
 
-  /*
-   * Assignment from an integer. Fails if the integer is not 0.
-   * NOTE: This is here purely to support the auto-initialization
-   * behavior of the ANTLR3 C backend (i.e., a rule attribute
-   * <code>Expr e</code> gets initialized with <code>e = NULL;</code>.
-   * Should be removed if future versions of ANTLR fix the problem.
-   */
-  Expr& operator=(uintptr_t n);
-
   /**
    * Syntactic comparison operator. Returns true if expressions belong to the
    * same expression manager and are syntactically identical.