From ad19de6be6b9a9d620d94e3f162dcee1bfda2cf7 Mon Sep 17 00:00:00 2001
From: JJ
Date: Wed, 23 Oct 2024 18:10:03 -0700
Subject: restructure code, put implementations into broadly categorical
 folders

---
 tests/stlc-ext.rkt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'tests/stlc-ext.rkt')

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()))
-- 
cgit v1.2.3-70-g09d2