From 3b33c3676a7577eb2a5238e3fe469c23fb6e69e3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= <georges.duperon@gmail.com>
Date: Tue, 11 Oct 2016 01:56:31 +0200
Subject: [PATCH] Removed duplicate dependency on phc-adt

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

diff --git a/info.rkt b/info.rkt
index f7ef8ff..b7770f2 100644
--- a/info.rkt
+++ b/info.rkt
@@ -4,7 +4,6 @@
                "rackunit-lib"
                "https://github.com/jsmaniac/phc-toolkit.git#dev"
                "https://github.com/jsmaniac/phc-adt.git?path=phc-adt#dev"
-               "phc-adt"
                "type-expander"
                "hyper-literate"
                "scribble-enhanced"