Bugreport/exception not found - Githubissues

meta-introspector / metacoq

Metaprogramming in Coq

https://metacoq.github.io

MIT License

0 stars 0 forks source link

Bugreport/exception not found #4

Closed jmikedupont2 closed 8 months ago

jmikedupont2 commented 8 months ago

Exception not found .

see error.txt https://github.com/meta-introspector/metacoq/blob/6c23b8f5649d7dc8f51bce9310a0b70a28607853/error.txt