diff options
| author | Maxime Dénès | 2019-04-04 17:09:07 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2019-04-10 15:41:43 +0200 |
| commit | 8fe32139aeb965b056c0d1e9c8fab2324dbb7ba6 (patch) | |
| tree | 2a277770abb943fa91aa6358ef1b936f302b0be5 /doc/plugin_tutorial/tuto1 | |
| parent | dcf6560f00fde4a2564ba8489cdd34e7bdea5cfa (diff) | |
Fix constant order in heads.ml
As per the OCaml documentation, the order for maps should be total.
I also remove some circumvolutions that were added around eliminators
and canonical names because of this incorrect order.
Diffstat (limited to 'doc/plugin_tutorial/tuto1')
0 files changed, 0 insertions, 0 deletions