aboutsummaryrefslogtreecommitdiff
path: root/tests/stlc-ext.rkt
diff options
context:
space:
mode:
Diffstat (limited to 'tests/stlc-ext.rkt')
-rw-r--r--tests/stlc-ext.rkt2
1 files changed, 1 insertions, 1 deletions
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()))