diff --git a/collects/typed-scheme/no-check.ss b/collects/typed-scheme/no-check.ss
index a1a7601c..7c6e8296 100644
--- a/collects/typed-scheme/no-check.ss
+++ b/collects/typed-scheme/no-check.ss
@@ -11,6 +11,7 @@
   (define nm . body))
 
 (define-syntax-rule (ann e . rest) e)
+(define-syntax-rule (inst e . rest) e)
 
 (define-syntax-rule (require/typed mod [id . _] ...)
   (require (only-in mod id ...)))