diff options
Diffstat (limited to 'tests/stlc-ext.rkt')
-rw-r--r-- | tests/stlc-ext.rkt | 2 |
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())) |