search

MfesGA / Hsmtlib

Haskell library for easy interaction with SMT-LIB 2 compliant solvers.
4 stars 5 forks source link

The command `cabal haddock` fails. #9

Closed asr closed 9 years ago

asr commented 9 years ago

The commits fix the issue.