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 /toplevel/classes.mli | |
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 'toplevel/classes.mli')
0 files changed, 0 insertions, 0 deletions