diff options
| author | Pierre-Marie Pédrot | 2016-05-10 19:42:39 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2016-05-10 20:31:38 +0200 |
| commit | bc3981687cd363820e35e5a2bd037d50e213f524 (patch) | |
| tree | 7829deffc40f17be0ef9ab423cad410e71ab6ac2 /kernel/nativeconv.ml | |
| parent | b82512946a2818e13397b9f1a128fcafe4a78ba5 (diff) | |
Overlooked use of Gram instead of G module in Pcoq.
This was probably wreaking havoc in tricky undo-redo scenarii.
Diffstat (limited to 'kernel/nativeconv.ml')
0 files changed, 0 insertions, 0 deletions