diff --git a/collects/redex/examples/stlc.rkt b/collects/redex/examples/stlc.rkt
index 53a375920c..73c81efaf6 100644
--- a/collects/redex/examples/stlc.rkt
+++ b/collects/redex/examples/stlc.rkt
@@ -73,7 +73,6 @@
 (define-judgment-form λv
   #:mode (typeof I I O)
   #:contract (typeof G e t)
-  [(typeof G 1234 num)]
   [(typeof G number num)]
   [(typeof G (+ e_1 e_2) num)
    (typeof G e_1 num)