teeny contract change

11 years ago · 65e68e39cc
parent e5208294e0
commit 65e68e39cc
1 changed files with 1 additions and 1 deletions
--- 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