diff options
| author | Regis-Gianas | 2014-10-30 18:02:52 +0100 |
|---|---|---|
| committer | Regis-Gianas | 2014-11-04 22:51:35 +0100 |
| commit | 4b6720644103260620ab21e6afa89e55534478ee (patch) | |
| tree | 0e6e944212aae1ac1dffdb023acd84bb2697722b /lib/xml_parser.ml | |
| parent | d1f754206f10c1a8266a224b0a3fdf117c96b226 (diff) | |
printing/Ppconstr.print_hunks:
Make evaluation order explicit.
(Do not rely anymore on ocaml evaluation order, which is unspecified.)
Diffstat (limited to 'lib/xml_parser.ml')
0 files changed, 0 insertions, 0 deletions