Remove isAtomic() as per 4/27/2010 meeting. Add comments about its potential design for later. Resolves bug 113, invalidates bugs 93 and 94.

1 files changed, 0 insertions, 6 deletions

diff --git a/src/expr/expr_template.cpp b/src/expr/expr_template.cpp
index 876b400fe..5c4e30a0c 100644
--- a/src/expr/expr_template.cpp
+++ b/src/expr/expr_template.cpp
@@ -182,12 +182,6 @@ bool Expr::isConst() const {
   return d_node->isConst();
 }
 
-bool Expr::isAtomic() const {
-  ExprManagerScope ems(*this);
-  Assert(d_node != NULL, "Unexpected NULL expression pointer!");
-  return d_node->isAtomic();
-}
-
 void Expr::toStream(std::ostream& out) const {
   ExprManagerScope ems(*this);
   d_node->toStream(out);