From 55ae1f852d699d06a20cf8aa5c8a49fdef371c59 Mon Sep 17 00:00:00 2001
From: Trevor Elliott <trevor@galois.com>
Date: Thu, 24 Sep 2015 16:47:52 -0500
Subject: [PATCH] Major changes plumbed through, now for the bugs!

---
 cryptol.cabal | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/cryptol.cabal b/cryptol.cabal
index b7bb9dce..d068126a 100644
--- a/cryptol.cabal
+++ b/cryptol.cabal
@@ -82,11 +82,13 @@ library
                        Cryptol.Parser.AST,
                        Cryptol.Parser.Position,
                        Cryptol.Parser.Names,
+                       Cryptol.Parser.Name,
                        Cryptol.Parser.NoPat,
                        Cryptol.Parser.NoInclude,
                        Cryptol.Parser.Utils,
                        Cryptol.Parser.Unlit,
 
+                       Cryptol.Utils.Ident,
                        Cryptol.Utils.PP,
                        Cryptol.Utils.Panic,
                        Cryptol.Utils.Debug,