From e1ceb8a7d8d525d69429e7d5590d6e6113c82f25 Mon Sep 17 00:00:00 2001
From: "William J. Bowman" <wjb@williamjbowman.com>
Date: Thu, 29 Jan 2015 22:46:53 -0500
Subject: [PATCH] Renamed more curnels

---
 example.rkt | 2 +-
 sugar.rkt   | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/example.rkt b/example.rkt
index 57a29b7..d92aaaa 100644
--- a/example.rkt
+++ b/example.rkt
@@ -4,7 +4,7 @@
 ;; TODO: actually, I'm not sure this should work quite as well as it
 ;; seems to with check-equal?
 (require rackunit)
-(require (only-in "cur-redex.rkt" [#%app real-app]
+(require (only-in "redex-curnel.rkt" [#%app real-app]
                   [define real-define]))
 
 (define-syntax (#%app syn)
diff --git a/sugar.rkt b/sugar.rkt
index fab58f6..3fa05bf 100644
--- a/sugar.rkt
+++ b/sugar.rkt
@@ -9,7 +9,7 @@
          define-theorem
          qed)
 
-(require (only-in "cur-redex.rkt" [#%app real-app]
+(require (only-in "redex-curnel.rkt" [#%app real-app]
                   [define real-define]))
 
 (define-syntax (-> syn)