diff options
| author |  Jason Gross <jgross@mit.edu> | 2019-04-12 16:13:52 -0400 |
|---|---|---|
| committer |  Jason Gross <jasongross9@gmail.com> | 2019-04-12 20:53:24 -0400 |
| commit | c5f081f62ff2e6a4dc6c8e08d896e5e01b53f46b (patch) | |
| tree | 6c2675bcbba2cfd6d69f4ee4b7659c6866e01392 /src/Util/Bool/Reflect.v | |
| parent | 1384a29170bbb8b166b90f73bafea8d1948568af (diff) | |
Fix around coq/coq#262
Reported as https://github.com/coq/coq/issues/9955
Diffstat (limited to 'src/Util/Bool/Reflect.v')
0 files changed, 0 insertions, 0 deletions