diff --git a/src/util/pointer_expr.h b/src/util/pointer_expr.h
index 42c2d2774f2..b314a4c1d1d 100644
--- a/src/util/pointer_expr.h
+++ b/src/util/pointer_expr.h
@@ -329,7 +329,7 @@ class is_dynamic_object_exprt : public unary_predicate_exprt
 template <>
 inline bool can_cast_expr<is_dynamic_object_exprt>(const exprt &base)
 {
-  return base.id() == ID_is_invalid_pointer;
+  return base.id() == ID_is_dynamic_object;
 }
 
 inline void validate_expr(const is_dynamic_object_exprt &value)