diff --git a/collects/redex/tests/run-tests.rkt b/collects/redex/tests/run-tests.rkt
index cfd10ecd48..0b302e40f8 100644
--- a/collects/redex/tests/run-tests.rkt
+++ b/collects/redex/tests/run-tests.rkt
@@ -28,7 +28,8 @@
      "stepper-test.ss")
    (if test-bitmaps? '("bitmap-test.ss") '())
    (if test-examples? 
-       '("../examples/pi-calculus.ss"
+       '("../examples/stlc.rkt"
+         "../examples/pi-calculus.ss"
          ("../examples/beginner.ss" main)
          "../examples/racket-machine/reduction-test.ss"
          "../examples/racket-machine/verification-test.ss"