From 33ca8d05dbd4c6250f3c76699b05c3e9bf310e1f Mon Sep 17 00:00:00 2001 From: Jay McCarthy Date: Wed, 19 Mar 2014 14:55:48 -0600 Subject: [PATCH] Fix diffs --- .../redex-examples/redex/examples/benchmark/stlc/2.diff | 2 ++ .../redex-examples/redex/examples/benchmark/stlc/stlc-2.rkt | 1 - 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/2.diff b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/2.diff index ed42dd860c..ff00687b27 100644 --- 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) diff --git 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 index 25d1fa3a4f..1dca9ca1b5 100644 --- 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)