From 8a4fa6bbacfd613904f895f66389ff5a4a11bbff Mon Sep 17 00:00:00 2001 From: Yann Herklotz Grave Date: Mon, 4 Mar 2019 16:49:49 +0000 Subject: Clean imports --- verifuzz.cabal | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/verifuzz.cabal b/verifuzz.cabal index 118406a..f77ba38 100644 --- a/verifuzz.cabal +++ b/verifuzz.cabal @@ -23,6 +23,7 @@ library ghc-options: -Wall -Werror exposed-modules: VeriFuzz , VeriFuzz.AST + , VeriFuzz.Config , VeriFuzz.Internal , VeriFuzz.Internal.AST , VeriFuzz.Internal.Circuit @@ -53,7 +54,6 @@ library , shelly >=1.8.0 && <1.9 , text >=1.2 && <1.3 , bytestring >=0.10 && <0.11 - , hashable >=1.2 && <1.3 , filepath >=1.4.2 && <1.5 , binary >= 0.8.6 && <0.9 , cryptonite >=0.25 && <0.26 @@ -61,6 +61,7 @@ library , DRBG >=0.5 && <0.6 , parsec >=3.1 && <3.2 , transformers >=0.5 && <0.6 + , tomland >=0.5 && <0.6 default-extensions: OverloadedStrings executable verifuzz -- cgit