rename lock.rkt to rwlock.rkt and move it to base directory

jeapostrophe · Oct 29, 2024 · f5cb021 · f5cb021
1 parent 58f043f
commit f5cb021
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/lock.rkt → base/rwlock.rkt b/lock.rkt → base/rwlock.rkt
diff --git a/doc.rkt b/doc.rkt
@@ -21,7 +21,7 @@
          json
          drracket/check-syntax
          syntax/modread
-         "lock.rkt")
+         "base/rwlock.rkt")
 
 ;; SafeDoc has two eliminator:
 ;; with-read-doc: access Doc within a reader lock.