diff options
author | Yann Herklotz Grave <git@yannherklotzgrave.com> | 2019-02-16 20:22:29 +0000 |
---|---|---|
committer | Yann Herklotz Grave <git@yannherklotzgrave.com> | 2019-02-16 20:22:29 +0000 |
commit | d0dd067977e9e6db748dfc894ebde13d3c58e525 (patch) | |
tree | 3ab68ff2a8be0e9d50ef63cce26d1af8a49c2db5 /verifuzz.cabal | |
parent | 5025a43948a682bc40d5c91606ec97cd8d6c3897 (diff) | |
download | verismith-d0dd067977e9e6db748dfc894ebde13d3c58e525.tar.gz verismith-d0dd067977e9e6db748dfc894ebde13d3c58e525.zip |
Change to Parsec and add Lexer
Diffstat (limited to 'verifuzz.cabal')
-rw-r--r-- | verifuzz.cabal | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/verifuzz.cabal b/verifuzz.cabal index fb1583b..1cc0106 100644 --- a/verifuzz.cabal +++ b/verifuzz.cabal @@ -34,6 +34,7 @@ library , VeriFuzz.General , VeriFuzz.Gen , VeriFuzz.Icarus + , VeriFuzz.Lexer , VeriFuzz.Mutate , VeriFuzz.Parser , VeriFuzz.RandomAlt @@ -58,8 +59,7 @@ library , cryptonite >=0.25 && <0.26 , memory >=0.14 && <0.15 , DRBG >=0.5 && <0.6 - , attoparsec >=0.13 && <0.14 - , attoparsec-expr >=0.1 && <0.2 + , parsec >= 3.1 && < 3.2 default-extensions: OverloadedStrings executable verifuzz |