3 files changed, 3 insertions, 3 deletions
diff --git a/tests/stlc-dll.rkt b/tests/stlc-dll.rkt
index 87034ab..4063abe 100644
--- a/tests/stlc-dll.rkt
+++ b/tests/stlc-dll.rkt
@@ -1,6 +1,6 @@
 #lang racket
 (require (except-in rackunit check))
-(require "../stlc-dll.rkt")
+(require "../research/dll.rkt")
 
 (define-test-suite let-set-inc-case
   (check-exn
diff --git a/tests/stlc-ext.rkt b/tests/stlc-ext.rkt
index ee39145..9cae9a7 100644
--- a/tests/stlc-ext.rkt
+++ b/tests/stlc-ext.rkt
@@ -1,6 +1,6 @@
 #lang racket
 (require (except-in rackunit check))
-(require "../stlc-ext.rkt")
+(require "../simple/ext.rkt")
 
 (check-true (equiv-term '(λ a a) '(λ b b) #hash()))
 (check-true (equiv-term '(λ a (λ b a)) '(λ b (λ a b)) #hash()))
diff --git a/tests/stlc.rkt b/tests/stlc.rkt
index cfec36f..f387999 100644
--- a/tests/stlc.rkt
+++ b/tests/stlc.rkt
@@ -1,6 +1,6 @@
 #lang racket
 (require (except-in rackunit check))
-(require "../stlc.rkt")
+(require "../simple/stlc.rkt")
 
 (check-equal? (interpret '(λ (x : Foo) x)) '(λ x x #hash()))
 (check-equal? (interpret '((λ (a : Bar) a) (x y))) '(x y))