From ebc798c0aa2dc3d9f859189993f7fb2ed0e64c4d Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonygarnockjones@gmail.com>
Date: Tue, 13 May 2014 23:12:57 -0400
Subject: [PATCH] Correct type error

---
 minimart/route.rkt | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/minimart/route.rkt b/minimart/route.rkt
index 3163e20..b981d46 100644
--- a/minimart/route.rkt
+++ b/minimart/route.rkt
@@ -491,7 +491,7 @@
 		   (error 'matcher->finite-set "Internal error: unexpected key-close")]
 		 [else
 		  (k key mk)]))))]
-	[_ (k (set) #f)]))
+	[_ (set)]))
 
     ;; Matcher (Value Matcher -> (Setof (Listof Value))) -> (Option (Setof (Listof Value)))
     ;; Calls k with each possible sequence of atomic values at this
@@ -510,7 +510,7 @@
 							       (k (for/set [(vs (in-set vss))]
 								    (cons v vs))
 								  vsk)))))]))))]
-	[_ (k (set) #f)]))
+	[_ (k (set) #f)])) ;; TODO: ??
 
     ;; (Listof Value) Sigma -> Value
     (define (transform-seqs vs opener)