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;