From 8bee13c68053bcc81670c85a98beedcffbafbdf8 Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Wed, 5 Aug 2009 21:30:55 +0000
Subject: [PATCH] Matthias asked me to remove this definition

svn: r15676
---
 collects/2htdp/private/syn-aux.ss | 8 +-------
 1 file changed, 1 insertion(+), 7 deletions(-)

diff --git a/collects/2htdp/private/syn-aux.ss b/collects/2htdp/private/syn-aux.ss
index 177e5dcd55..abe71ac3a1 100644
--- a/collects/2htdp/private/syn-aux.ss
+++ b/collects/2htdp/private/syn-aux.ss
@@ -1,6 +1,6 @@
 #lang scheme
 
-(provide define-keywords function-with-arity except err check-flat-spec)
+(provide define-keywords function-with-arity except err)
 
 (require 
  (for-template "syn-aux-aux.ss" 
@@ -38,9 +38,3 @@
 	(string-append "illegal specification: " (car extra-spec)))
     #`(#,spec . #,p) p))
 
-;; Symbol (Symbol X -> X) -> (X -> X)
-(define (check-flat-spec tag coerce>)
-  (lambda (p)
-    (syntax-case p ()
-      [(b) #'(coerce> tag b)]
-      [_ (err tag p)])))