search

Verites / verigraph

Software specification and verification system based on graph rewriting
https://verites.github.io/verigraph/
Apache License 2.0
37 stars 4 forks source link

Fix "TODO / FIXME" issue in src/library/Abstract/EpiPairs.hs #36

Closed lm-rodrigues closed 7 years ago

lm-rodrigues commented 7 years ago

TODO / FIXME found

https://codeclimate.com/github/Verites/verigraph/src/library/Abstract/EpiPairs.hs#issue_5915ed1aabd07f00010000b1

andreicosta commented 7 years ago

Fixed in 20cebef