Fix haddock generation. #35

Merged
alanz merged 1 commits from dev into dev 2017-07-07 13:52:17 +02:00

1 Commits (master)

Author SHA1 Message Date
Alan Zimmerman 33eed86851 Fix haddock generation.
Otherwise the haddock process complains about malformed haddock comments
2017-07-07 10:40:55 +02:00