From 16678aef6a00aceafce699afc2010a7b93bbcd2a Mon Sep 17 00:00:00 2001
From: Asumu Takikawa <asumu@ccs.neu.edu>
Date: Wed, 12 Nov 2014 01:01:06 -0500
Subject: [PATCH] Add base-env type for symbol<?

---
 .../typed-racket-lib/typed-racket/base-env/base-env.rkt          | 1 +
 1 file changed, 1 insertion(+)

diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt
index c22ae6e09c..2061057a24 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt
@@ -394,6 +394,7 @@
 [string->uninterned-symbol (-String . -> . Sym)]
 [string->unreadable-symbol (-String . -> . Sym)]
 [gensym (->opt [(Un Sym -String)] Sym)]
+[symbol<? (->* (list -Symbol -Symbol) -Symbol -Boolean)]
 
 ;; Section 4.7 (Regular Expressions)
 [regexp? (make-pred-ty -Regexp)]