.

original commit: e8c7aa7ee816594fb51c0eecc01c31afb835bf7e
2003-05-21 18:01:52 +00:00 · 2003-05-21 18:01:52 +00:00 · e7d905dc16
commit e7d905dc16
parent 1aa4661df7
1 changed files with 3 additions and 0 deletions
--- a/collects/mred/private/kernel.ss
+++ b/collects/mred/private/kernel.ss
@ -193,6 +193,9 @@
    get-dc
    local-to-global
    global-to-local
+    locked-for-flow?
+    locked-for-write?
+    locked-for-read?
    set-admin
    get-admin
    print-to-dc