Fix this screw-up

pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/1.diff

@@ -1,5 +1,5 @@
 3c3
-< (define the-error "the ((cons v) v) value has been omitted")
+< (define the-error "no error")
 ---
 > (define the-error "app rule the range of the function is matched to the argument")
 32a33

pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/2.diff

@@ -1,5 +1,5 @@
 3c3
-< (define the-error "the ((cons v) v) value has been omitted")
+< (define the-error "no error")
 ---
 > (define the-error "the ((cons number) v) value has been omitted")
 32a33

pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/3.diff

@@ -1,5 +1,5 @@
 3c3
-< (define the-error "the ((cons v) v) value has been omitted")
+< (define the-error "no error")
 ---
 > (define the-error "the order of the types in the function position of application has been swapped")
 32a33

pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/4.diff

@@ -1,5 +1,5 @@
 3c3
-< (define the-error "the ((cons v) v) value has been omitted")
+< (define the-error "no error")
 ---
 > (define the-error "the type of cons is incorrect")
 32a33

pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/5.diff

@@ -1,5 +1,5 @@
 3c3
-< (define the-error "the ((cons v) v) value has been omitted")
+< (define the-error "no error")
 ---
 > (define the-error "the tail reduction returns the wrong value")
 32a33

pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/6.diff

@@ -1,5 +1,5 @@
 3c3
-< (define the-error "the ((cons v) v) value has been omitted")
+< (define the-error "no error")
 ---
 > (define the-error "hd reduction acts on partially applied cons")
 32a33

pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/7.diff

@@ -1,5 +1,5 @@
 3c3
-< (define the-error "the ((cons v) v) value has been omitted")
+< (define the-error "no error")
 ---
 > (define the-error "evaluation isn't allowed on the rhs of applications")
 32a33

pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/8.diff

@@ -1,5 +1,5 @@
 3c3
-< (define the-error "the ((cons v) v) value has been omitted")
+< (define the-error "no error")
 ---
 > (define the-error "lookup always returns int")
 32a33

pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/9.diff

@@ -1,5 +1,5 @@
 3c3
-< (define the-error "the ((cons v) v) value has been omitted")
+< (define the-error "no error")
 ---
 > (define the-error "variables aren't required to match in lookup")
 32a33