Fix diffs

2014-03-19 14:55:48 -06:00 · 2014-03-19 14:55:48 -06:00 · 33ca8d05db
commit 33ca8d05db
parent f7d554d727
2 changed files with 2 additions and 1 deletions
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/2.diff
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/2.diff
@ -2,3 +2,5 @@
 < (define the-error "no error")
 ---
 > (define the-error "the ((cons number) v) value has been omitted")
+33d32
+<      ((cons v) v)
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-2.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/stlc-2.rkt
@ -30,7 +30,6 @@
  (v (λ (x τ) M)
     c
     (cons v)
-     ((cons v) v)
     (+ v))
  (E hole
     (E M)