diff options
| author | Isaac Oscar Gariano | 2021-03-12 23:51:09 +1300 |
|---|---|---|
| committer | Isaac Oscar Gariano | 2021-03-12 23:51:09 +1300 |
| commit | eecc87e32aaa0718356d1fbe7c808ed838db4cdb (patch) | |
| tree | 06c9918f4e3d91a72ccc16eca0588c7496f01bd2 /kernel/type_errors.mli | |
| parent | d33266649d285b7d8ba5a7093319faa6132d6bc9 (diff) | |
Fixed grammar productions for PDF documentations
This undoes changes by 48bb58156acec84991a9e570e93a4e31c0349e79 that
broke the rendering of grammar productions in PDfs.
Diffstat (limited to 'kernel/type_errors.mli')
0 files changed, 0 insertions, 0 deletions