From 3f61c468be1a1d11bf84f772178d71a77345a703 Mon Sep 17 00:00:00 2001 From: Stephen Chang Date: Wed, 31 Aug 2016 16:22:55 -0400 Subject: [PATCH] rename rosette-guide-tests -> rosette-guide-sec2-tests --- .../{rosette-guide-tests.rkt => rosette-guide-sec2-tests.rkt} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename turnstile/examples/tests/rosette/{rosette-guide-tests.rkt => rosette-guide-sec2-tests.rkt} (100%) diff --git a/turnstile/examples/tests/rosette/rosette-guide-tests.rkt b/turnstile/examples/tests/rosette/rosette-guide-sec2-tests.rkt similarity index 100% rename from turnstile/examples/tests/rosette/rosette-guide-tests.rkt rename to turnstile/examples/tests/rosette/rosette-guide-sec2-tests.rkt