diff options
| author | Hugo Herbelin | 2016-04-19 09:37:55 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2016-04-19 09:43:40 +0200 |
| commit | b038ff00e3d1873bed580c13df1b18ce0510abb2 (patch) | |
| tree | 41b39cfa1b3c6aa9f1a305e7c3032e784b60c505 /plugins/extraction/ExtrHaskellString.v | |
| parent | 7f85eb4f4cba0194f68034d6ccc0de0be9b5f067 (diff) | |
Fixing 50266aab on incompatibility of OCaml 4.01.0 with option -debug.
This was only when compiling with Camlp4 and it was producing an
assertion failure in asmcomp/emitaux.ml at line 226, reported as
OCaml's bug #6243.
Note: The issue of a problematic compilation with 4.01.0 was raised at
last WG.
Diffstat (limited to 'plugins/extraction/ExtrHaskellString.v')
0 files changed, 0 insertions, 0 deletions