diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-12-14 11:39:24 -0500 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-12-14 18:02:41 -0500 |
| commit | a60a49f545499f29f067148668b8ec1bc7b55895 (patch) | |
| tree | 6dc6c4ec1c3f7e33c60f7a41cf1948c301a78f33 /checker | |
| parent | 29644bf0814945cbf2b4388b8f8bd19f109503a0 (diff) | |
Pass a ghost location for abstract
As per request at https://github.com/coq/coq/pull/6406#pullrequestreview-83503902
Diffstat (limited to 'checker')
0 files changed, 0 insertions, 0 deletions