diff options
| author |  Pierre Letouzey <pierre.letouzey@inria.fr> | 2015-12-14 09:57:50 +0100 |
|---|---|---|
| committer | Pierre Letouzey <pierre.letouzey@inria.fr> | 2015-12-14 09:57:50 +0100 |
| commit | a2a81cec811a8257e47ceb1b9ea3de6d1c2607ee (patch) | |
| tree | 54745cbf2bb056d3e9c626657dd0fe2eaad56ff4 /parsing/g_prim.ml4 | |
| parent | 1e7f3425a8d83fd8606959ec81e91b8e05607b06 (diff) | |
Extraction: also get rid of explicit '\n' for haskell
Diffstat (limited to 'parsing/g_prim.ml4')
0 files changed, 0 insertions, 0 deletions