diff options
| author | Hugo Herbelin | 2020-01-20 08:45:18 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2020-01-21 00:20:49 +0100 |
| commit | 7e98fc9ee477505e3bb6d2c91a3d5d46d5fffbc5 (patch) | |
| tree | dd9f014f1c104bd7327278643b87abe53201742e /vernac/declareUniv.ml | |
| parent | 64ea715e48b14ec8a793453b76db332e032d5cb0 (diff) | |
Typo in a comment of univ.mli.
Diffstat (limited to 'vernac/declareUniv.ml')
0 files changed, 0 insertions, 0 deletions