From 9f9294dc4cb9a2748b1c21660bfae8b9ef2075e3 Mon Sep 17 00:00:00 2001
From: Stephen Chang <stchang@ccs.neu.edu>
Date: Wed, 25 Jan 2017 14:18:13 -0500
Subject: [PATCH] reduce lens dependency to lens-common and lens-unstable

---
 info.rkt                           | 3 ++-
 turnstile/examples/rosette/fsm.rkt | 2 --
 turnstile/turnstile.rkt            | 3 +--
 3 files changed, 3 insertions(+), 5 deletions(-)

diff --git a/info.rkt b/info.rkt
index 05a4f6f..c3c78b7 100644
--- a/info.rkt
+++ b/info.rkt
@@ -4,7 +4,8 @@
 
 (define deps
   '("base"
-    "lens"
+    "lens-common"
+    "lens-unstable"
     ))
 
 (define build-deps
diff --git a/turnstile/examples/rosette/fsm.rkt b/turnstile/examples/rosette/fsm.rkt
index 63ea330..4ce391b 100644
--- a/turnstile/examples/rosette/fsm.rkt
+++ b/turnstile/examples/rosette/fsm.rkt
@@ -7,8 +7,6 @@
                   reject verify-automaton debug-automaton synthesize-automaton))
 (provide (rename-out [rosette:choose ?]))
 
-(require (for-syntax lens unstable/lens))
-
 (provide FSM State Pict
          (typed-out [reject : State]
                     [verify-automaton : (→ FSM Regexp (List Symbol))]
diff --git a/turnstile/turnstile.rkt b/turnstile/turnstile.rkt
index bdc1847..f825a17 100644
--- a/turnstile/turnstile.rkt
+++ b/turnstile/turnstile.rkt
@@ -12,8 +12,7 @@
 (require (except-in (rename-in
                      macrotypes/typecheck
                      [define-typed-syntax -define-typed-syntax]
-                     [define-syntax-category -define-syntax-category]
-                     )
+                     [define-syntax-category -define-syntax-category])
                     #%module-begin))
 
 (module typecheck+ racket/base