From e7d905dc16e2d8add48cfd439627a7d35ea18ef1 Mon Sep 17 00:00:00 2001
From: Matthew Flatt <mflatt@racket-lang.org>
Date: Wed, 21 May 2003 18:01:52 +0000
Subject: [PATCH] .

original commit: e8c7aa7ee816594fb51c0eecc01c31afb835bf7e
---
 collects/mred/private/kernel.ss | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/collects/mred/private/kernel.ss b/collects/mred/private/kernel.ss
index d843796d..52e592b3 100644
--- 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