smp: without-interrupts: rep.scm

diff --git a/README.txt b/README.txt
index 0b4bd01fd057c6ff9333c771d77430ff9cb96f40..5325082a0ba6b24884c876abaa38cf1f30f84e52 100644 (file)
--- a/README.txt
+++ b/README.txt
@@ -1521,6 +1521,9 @@ The hits with accompanying analysis:
 
   rep.scm:141:                (with-interrupt-mask interrupt-mask/all
 
+       OK.  The unmasking of all interrupts ensures that the repl can
+       be interrupted even if created with interrupts masked(?).
+
   rgxcmp.scm:161:                    (without-interrupts
   rgxcmp.scm:169:               (without-interrupts