diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/10.diff b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/1.diff
similarity index 100%
rename from pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/10.diff
rename to pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/1.diff
diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-10.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-1.rkt
similarity index 100%
rename from pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-10.rkt
rename to pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/poly-stlc-1.rkt