search

uwplse / pumpkin-pi

An extension to PUMPKIN PATCH with support for proof repair across type equivalences.
MIT License
49 stars 9 forks source link

Update ornerrors.ml #81

Closed Ptival closed 3 years ago

Ptival commented 4 years ago

add missing newline in error message