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")
 
 ; Π → λ ∀ ≻ ⊢ ≫ ⇒