diff options
| author |  Nickolai Zeldovich <nickolai@csail.mit.edu> | 2016-04-08 14:48:34 +0100 |
|---|---|---|
| committer |  Maxime Dénès <mail@maximedenes.fr> | 2016-04-09 00:45:45 +0200 |
| commit | d5cbd7b881dcc8b3599b3330e342f0aa55ef467f (patch) | |
| tree | 9a616287bf8e4be55a1b46f690506504c281bb7d /tools/coqdoc/coqdoc.css | |
| parent | 84f079fa31723b6a97edc50ca7a81e1eb19e759c (diff) | |
Fix order of arguments to Big.compare_case in ExtrOcamlZBigInt.v
The extraction of [Z] into Ocaml's [Big_int] passed arguments in the
wrong order to [Big.compare_case] for [Pos.compare_cont]. It seems
unlikely this ever worked before.
Diffstat (limited to 'tools/coqdoc/coqdoc.css')
0 files changed, 0 insertions, 0 deletions