From 7624090e5a82bdbc6dd050eef17d71d0edace618 Mon Sep 17 00:00:00 2001
From: "William J. Bowman" <wjb@williamjbowman.com>
Date: Wed, 28 Oct 2015 15:50:14 -0400
Subject: [PATCH] Updated require Redex version

---
 info.rkt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/info.rkt b/info.rkt
index 1e018fd..0eb9974 100644
--- a/info.rkt
+++ b/info.rkt
@@ -1,6 +1,6 @@
 #lang info
 (define collection "cur")
-(define deps '("base" "rackunit-lib" ("redex-lib" #:version "1.8" #;redex-1-paul-public)))
+(define deps '("base" "rackunit-lib" ("redex-lib" #:version "1.10")))
 (define build-deps '("scribble-lib" "racket-doc" "sandbox-lib"))
 (define scribblings '(("scribblings/cur.scrbl" (multi-page))))
 (define pkg-desc "Dependent types with parenthesis and meta-programming.")