diff options
| author | Hugo Herbelin | 2020-04-05 15:22:18 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2020-04-05 15:43:04 +0200 |
| commit | 825f001fc03f94ee8076a33e34312f5d4a76eafb (patch) | |
| tree | 52492d5b4de6c5849c6729e6f19689097d394bbb /kernel/nativevalues.ml | |
| parent | c5c8ce135606f311834d4c0b9ac3e72be5ee4a36 (diff) | |
Fixes #11194 (Canonical/Coercion not located for coqdoc).
The location was missing in the parser.
Diffstat (limited to 'kernel/nativevalues.ml')
0 files changed, 0 insertions, 0 deletions