From e106ec381f44bc1061ef7802c8a78231cc84e21e Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Tue, 18 Mar 2014 16:34:17 -0500 Subject: [PATCH] renumber poly-stlc bugs to start from 1 --- .../redex/examples/benchmark/poly-stlc/{10.diff => 1.diff} | 0 .../benchmark/poly-stlc/{poly-stlc-10.rkt => poly-stlc-1.rkt} | 0 2 files changed, 0 insertions(+), 0 deletions(-) rename pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/{10.diff => 1.diff} (100%) rename pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/poly-stlc/{poly-stlc-10.rkt => poly-stlc-1.rkt} (100%) 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