Missing `CmdComment` implementation in Hackage

yav / smtLib

Haskell datatypes for generating SMTLIB files.

MIT License

11 stars 5 forks source link

Missing `CmdComment` implementation in Hackage #5

Closed asr closed 8 years ago

asr commented 8 years ago

I realized you merged the PR #3 in master, but the implementation of CmdComment is missing in the version available in Hackage. Could you release a new version in Hackage including the implementation of CmdComment please.

yav commented 8 years ago

Done, should be in version 1.0.8.

asr commented 8 years ago

Thanks for releasing the new version!