From 0d5b7e9c02180bc3cafaa087f7e6910c3ef62337 Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Fri, 27 Apr 2018 10:54:58 +0100 Subject: [PATCH] Cosmetic --- syndicate/dataspace.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/syndicate/dataspace.rkt b/syndicate/dataspace.rkt index 584ed60..4477dac 100644 --- a/syndicate/dataspace.rkt +++ b/syndicate/dataspace.rkt @@ -232,7 +232,7 @@ (make-queue) (set->bag filtered-initial-assertions))) (for [(a filtered-initial-assertions)] - (match (bag-change! (dataspace-assertions ds) a 1) + (match (bag-change! (dataspace-assertions ds) a +1) ['absent->present (add-assertion! (dataspace-routing-table ds) a)] ;; 'absent->absent and 'present->absent absurd ['present->present (void)])) ;; i.e. no visible change