diff --git a/collects/redex/examples/stlc.rkt b/collects/redex/examples/stlc.rkt
index 73c81efaf6..8eafccbd65 100644
--- a/collects/redex/examples/stlc.rkt
+++ b/collects/redex/examples/stlc.rkt
@@ -1,5 +1,6 @@
 #lang racket
 (require redex)
+(provide λv red typeof)
 
 (define-language λv
   (e (e e ...) (if0 e e e) (+ e e) x v)