roos adjustment

2025-08-18 09:23:02 +02:00
parent ae43b87758
commit 7500283070
4 changed files with 4 additions and 3 deletions
--- a/roos.rkt
+++ b/roos.rkt
@@ -21,7 +21,7 @@
  (fail #f)

  ((file) file*)
-  ((file! f) (i-set! file* f) (-> this reload))
+  ((file! f) (i-set! file* f) (%-> this reload))

  ((reload) (i-set! content
                  (if (not (eq? file* #f))