diff options
| author | Hugo Herbelin | 2017-11-05 11:00:16 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2017-11-05 11:00:16 +0100 |
| commit | 9f17cd59b801f42a2ca15cbc5e38de9c8be42312 (patch) | |
| tree | 9739866ffa9e59640ee06001bace5a9ce617fdcb /kernel/constr.ml | |
| parent | 1f7a49374aa2e7a67d1326d02d0d6fb519427ee3 (diff) | |
Cosmetic changes in evar_map printer.
Diffstat (limited to 'kernel/constr.ml')
0 files changed, 0 insertions, 0 deletions