diff options
| author | Hugo Herbelin | 2016-07-12 10:48:15 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2016-07-12 14:30:03 +0200 |
| commit | 4009146b3b2445070c3f0551306bd701617ea280 (patch) | |
| tree | deea0512cd0de4b8e092c56f0e9b6c874b829f1a /kernel/nativecode.mli | |
| parent | 45207f8ed6c2484d1fe47576571e255570146e24 (diff) | |
A short test on printing evars in Show Proof (this was wrong at some time).
Diffstat (limited to 'kernel/nativecode.mli')
0 files changed, 0 insertions, 0 deletions