From 79ea380afc6c68cb41e9d9d8af1caae3a895e2a4 Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Mon, 29 Feb 2016 10:51:36 -0500 Subject: [PATCH] Update file purpose statement --- prospect/examples/actor/file-system-during.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prospect/examples/actor/file-system-during.rkt b/prospect/examples/actor/file-system-during.rkt index 8030328..4130fb5 100644 --- a/prospect/examples/actor/file-system-during.rkt +++ b/prospect/examples/actor/file-system-during.rkt @@ -1,6 +1,6 @@ #lang prospect ;; Toy file system, based on the example in the ESOP2016 submission. -;; prospect/actor implementation. +;; prospect/actor implementation, using "during" instead of "on asserted/until retracted". (require prospect/actor) (require prospect/drivers/timer)