diff options
| author | Hugo Herbelin | 2016-04-09 17:10:10 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2016-04-09 18:26:00 +0200 |
| commit | a2d3f5fc3167962f9bf549ba32f0105fff766422 (patch) | |
| tree | 1327eca1c50100bb5ef128f5a4dab0226986b368 /kernel/nativelambda.ml | |
| parent | a2664de27eabbba7fc357305679112aef99e1f74 (diff) | |
Removing extra spaces in printing arguments of VERNAC EXTEND.
Diffstat (limited to 'kernel/nativelambda.ml')
0 files changed, 0 insertions, 0 deletions