diff --git a/src/plugins/region/Region.ml b/src/plugins/region/Region.ml
index f93ac8bf9f3c07c9ce0de733e48e4df93e04a96d..d8dd17fa6b99b86abc8b2c056252d97cb95e83de 100644
--- a/src/plugins/region/Region.ml
+++ b/src/plugins/region/Region.ml
@@ -72,6 +72,7 @@ let base_addr _map region = (* TODO *) region
 let points_to (map:map) (region:region) : region option =
   Option.map (Memory.region map.map) @@ Memory.cpointed map.map region.Memory.node
 
+let pointed_by map region = Memory.cpointed_by map region
 
 
 (* COMPARATOR *)