From 7f0743100e04eb7da92f8ef7d96e580159ccfe65 Mon Sep 17 00:00:00 2001
From: Matthew Butterick <mb@mbtype.com>
Date: Thu, 20 Feb 2014 00:27:39 -0800
Subject: [PATCH] Revert "teeny contract change"

This reverts commit 65e68e39cce0202ba532efe5900daa663dc1751b.
---
 main.rkt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/main.rkt b/main.rkt
index 939ef6e..b39f78e 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)
-  ((and/c xexpr/c txexpr?) procedure? . -> . (values txexpr? (listof txexpr-element?)))
+  (txexpr? procedure? . -> . (values txexpr? (listof txexpr-element?)))
   (define matches empty)
   (define (do-extraction x)
     (cond