diff --git a/collects/typed-scheme/base-env/base-env.rkt b/collects/typed-scheme/base-env/base-env.rkt
index 5b63233d12..abaf8689ab 100644
--- a/collects/typed-scheme/base-env/base-env.rkt
+++ b/collects/typed-scheme/base-env/base-env.rkt
@@ -1352,6 +1352,7 @@
 
 
 ;; scheme/function
+[identity (-poly (a) (-> a a))]
 [const (-poly (a) (-> a (->* '() Univ a)))]
 (primitive? (-> Univ B))
 (primitive-closure? (-> Univ B))