blob: aec6cd0a2171d30509ae000e58c87f71af57fef8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
<!-- Thank you for reporting a bug to Coq! -->
#### Description of the problem
<!-- If you can, it's helpful to provide self-contained example of some code
that reproduces the bug. If not, a link to a larger example is also helpful. -->
#### Coq Version
<!-- You can get this information by running `coqtop -v`. If relevant, please
also include your operating system. -->
|
