remove bogus case in stlc typing judgment form

2012-10-21 15:18:34 -05:00 · 2012-10-21 15:18:34 -05:00 · 9baefbe725
commit 9baefbe725
parent 9696bd7337
1 changed files with 0 additions and 1 deletions
--- 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)