search

rems-project / lem

Lem semantic definition language
Other
130 stars 15 forks source link

Fix some definitions to make coq-libs compile again #23

Closed aceawan closed 5 years ago

aceawan commented 5 years ago

This commit fixes the errors occuring when running make coq-libs.

bacam commented 5 years ago

Thanks.