From 65e68e39cce0202ba532efe5900daa663dc1751b Mon Sep 17 00:00:00 2001 From: Matthew Butterick Date: Thu, 20 Feb 2014 00:26:00 -0800 Subject: [PATCH] teeny contract change --- main.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/main.rkt b/main.rkt index b39f78e..939ef6e 100644 --- a/main.rkt +++ b/main.rkt @@ -194,7 +194,7 @@ ;; function to split tag out of txexpr (define+provide/contract (splitf-txexpr tx proc) - (txexpr? procedure? . -> . (values txexpr? (listof txexpr-element?))) + ((and/c xexpr/c txexpr?) procedure? . -> . (values txexpr? (listof txexpr-element?))) (define matches empty) (define (do-extraction x) (cond