From 7fc8bd8c156550d77879721f17680b498dd27bec Mon Sep 17 00:00:00 2001 From: Stephen Chang Date: Mon, 14 Aug 2017 13:51:41 -0400 Subject: [PATCH] rename dep2 requires -> dep --- turnstile/examples/tests/dep-assist-tests.rkt | 2 +- turnstile/examples/tests/dep-peano-tests.rkt | 2 +- turnstile/examples/tests/dep-tests.rkt | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/turnstile/examples/tests/dep-assist-tests.rkt b/turnstile/examples/tests/dep-assist-tests.rkt index 44cf678..963a217 100644 --- a/turnstile/examples/tests/dep-assist-tests.rkt +++ b/turnstile/examples/tests/dep-assist-tests.rkt @@ -1,4 +1,4 @@ -#lang s-exp "../dep2-assist.rkt" +#lang s-exp "../dep-assist.rkt" (require "rackunit-typechecking.rkt") ; Π → λ ∀ ≻ ⊢ ≫ ⇒ diff --git a/turnstile/examples/tests/dep-peano-tests.rkt b/turnstile/examples/tests/dep-peano-tests.rkt index 186346f..8c52169 100644 --- a/turnstile/examples/tests/dep-peano-tests.rkt +++ b/turnstile/examples/tests/dep-peano-tests.rkt @@ -1,4 +1,4 @@ -#lang s-exp "../dep2.rkt" +#lang s-exp "../dep.rkt" (require "rackunit-typechecking.rkt") ; Π → λ ∀ ≻ ⊢ ≫ ⇒ diff --git a/turnstile/examples/tests/dep-tests.rkt b/turnstile/examples/tests/dep-tests.rkt index 2560434..04a9da1 100644 --- a/turnstile/examples/tests/dep-tests.rkt +++ b/turnstile/examples/tests/dep-tests.rkt @@ -1,4 +1,4 @@ -#lang s-exp "../dep2.rkt" +#lang s-exp "../dep.rkt" (require "rackunit-typechecking.rkt") ; Π → λ ∀ ≻ ⊢ ≫ ⇒