From b979dd9d7051f4290f78c0e589a86c7235032921 Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Tue, 8 Mar 2016 10:59:31 +0000 Subject: [PATCH] Add descriptive comment. --- .../all-pairs-shortest-paths/all-pairs-shortest-paths2.rkt | 2 ++ 1 file changed, 2 insertions(+) diff --git a/prospect/examples/all-pairs-shortest-paths/all-pairs-shortest-paths2.rkt b/prospect/examples/all-pairs-shortest-paths/all-pairs-shortest-paths2.rkt index 26321df..d620fdb 100644 --- a/prospect/examples/all-pairs-shortest-paths/all-pairs-shortest-paths2.rkt +++ b/prospect/examples/all-pairs-shortest-paths/all-pairs-shortest-paths2.rkt @@ -1,6 +1,8 @@ #lang prospect ;; After Figure 1 in "Logic and lattices for distributed programming", ;; Conway et. al, UCB tech report, 2012 +;; +;; Added path-seen set to ensure termination on input cycles. (require racket/set) (require prospect/actor)