A miss word in the well definess clause

gdupont1 / rodin-hs

A collection of Haskell modules for handling Rodin files

GNU General Public License v3.0

0 stars 0 forks source link

Closed Rpeter99 closed 3 years ago

Rpeter99 commented 3 years ago

After a transformation of a theory in latex, the clause well-definess condition is written well-definess. the word condition is missing.

gdupont1 commented 3 years ago

Fixed.