yav/smtLib — pull request #2 by jkoppel (2013-04-29 19:50:33+00:00)
Title: Fixing documentation generation

Currently, Haddock generates no documentation for the main files in this library. With this tweak, it will.