diff options
| author |  Pierre Letouzey <pierre.letouzey@inria.fr> | 2015-12-14 09:27:45 +0100 |
|---|---|---|
| committer | Pierre Letouzey <pierre.letouzey@inria.fr> | 2015-12-14 09:30:42 +0100 |
| commit | 1e7f3425a8d83fd8606959ec81e91b8e05607b06 (patch) | |
| tree | c1ab3ae26aa08dc2a31b278d49ca066e010dd05d /build | |
| parent | 123cbdfef1733a1786109bd1b97ccfa3f62c0d1c (diff) | |
Extraction: fix a pretty-print issue
Some explicit '\n' in Pp.str were interacting badly with Format boxes
in Compcert, leading to right-flushed "sig..end" blocks in some .mli
Diffstat (limited to 'build')
0 files changed, 0 insertions, 0 deletions