1 files changed, 4 insertions, 5 deletions
diff --git a/src/include/cvc4_expr.h b/src/include/cvc4_expr.h
index 17e7f4f82..3d7a35fc8 100644
--- a/src/include/cvc4_expr.h
+++ b/src/include/cvc4_expr.h
@@ -38,6 +38,9 @@ class Expr {
    *  Increments the reference count. */
   explicit Expr(ExprValue*);
 
+  typedef Expr* iterator;
+  typedef Expr const* const_iterator;
+
 public:
   Expr(const Expr&);
 
@@ -49,11 +52,7 @@ public:
 
   /** Access to the encapsulated expression.
    *  @return the encapsulated expression. */
-  ExprValue* operator->();
-
-  /** Const access to the encapsulated expression.
-   *  @return the encapsulated expression [const]. */
-  const ExprValue* operator->() const;
+  ExprValue* operator->() const;
 
   uint64_t hash() const;