diff --git a/src/util/pointer_expr.h b/src/util/pointer_expr.h
index 632a8fbc198..ae4527a4ce1 100644
--- a/src/util/pointer_expr.h
+++ b/src/util/pointer_expr.h
@@ -324,6 +324,16 @@ class is_dynamic_object_exprt : public unary_predicate_exprt
     : unary_predicate_exprt(ID_is_dynamic_object, op)
   {
   }
+
+  exprt &address()
+  {
+    return op();
+  }
+
+  const exprt &address() const
+  {
+    return op();
+  }
 };
 
 template <>