diff --git a/collects/typed-scheme/private/base-env.ss b/collects/typed-scheme/private/base-env.ss
index a671316e..d11d5a64 100644
--- a/collects/typed-scheme/private/base-env.ss
+++ b/collects/typed-scheme/private/base-env.ss
@@ -492,21 +492,7 @@
      [identifier? (make-pred-ty (-Syntax Sym))]
      [syntax? (make-pred-ty (-Syntax Univ))]
      [syntax-property (-poly (a) (cl->* (-> (-Syntax a) Univ Univ (-Syntax a))
-                                        (-> (-Syntax Univ) Univ Univ)))]
-     
-     ;; experimental
-     
-     [map* (make-PolyDots 
-            (list 'a 'b 'c)
-            (make-Function 
-             (list 
-              (make-arr-dots 
-               (list (make-Function (list (make-arr-dots (list (-v b)) (-v a) (-v c) 'c)))
-                     (-lst (-v b)))
-               (-lst (-v a))
-               (-lst (-v c))
-               'c))))]
-     
+                                        (-> (-Syntax Univ) Univ Univ)))]     
      )))
 
 (begin-for-syntax 
diff --git a/collects/typed-scheme/private/extra-procs.ss b/collects/typed-scheme/private/extra-procs.ss
index 428b5eaf..e2c6b97b 100644
--- a/collects/typed-scheme/private/extra-procs.ss
+++ b/collects/typed-scheme/private/extra-procs.ss
@@ -1,11 +1,10 @@
 #lang scheme/base
-(provide assert map*)
+(provide assert)
 
 (define (assert v)
   (unless v
     (error "Assertion failed - value was #f"))
   v)
 
-(define map* map)