From e112de2be02760f66505a09e76269cca272dc988 Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Fri, 18 Dec 2009 19:47:42 +0000 Subject: numerous fixes to nodes; more coming --- src/expr/node.cpp | 5 ----- 1 file changed, 5 deletions(-) (limited to 'src/expr/node.cpp') diff --git a/src/expr/node.cpp b/src/expr/node.cpp index 9c73b982c..b87acb1f2 100644 --- a/src/expr/node.cpp +++ b/src/expr/node.cpp @@ -79,11 +79,6 @@ Node& Node::operator=(const Node& e) { return *this; } -NodeValue const* Node::operator->() const { - Assert(d_ev != NULL, "Expecting a non-NULL expression value!"); - return d_ev; -} - uint64_t Node::hash() const { Assert(d_ev != NULL, "Expecting a non-NULL expression value!"); return d_ev->hash(); -- cgit v1.2.3