diff --git a/collects/mred/private/kernel.ss b/collects/mred/private/kernel.ss
index 3c475972..c20c6947 100644
--- a/collects/mred/private/kernel.ss
+++ b/collects/mred/private/kernel.ss
@@ -868,6 +868,7 @@
     line-end-position
     line-start-position
     line-location
+    position-locations
     position-location
     position-line
     set-between-threshold