diff options
| author | Jérémie Dimino <jeremie@dimino.org> | 2011-12-20 17:40:18 +0000 |
|---|---|---|
| committer | Jérémie Dimino <jeremie@dimino.org> | 2011-12-20 17:40:18 +0000 |
| commit | dfcbd7fc56f0749ebe8bfcccac3323dab1bc5d8e (patch) | |
| tree | aabe128f8a96f82b5b8b1232433d8bcf9f6c9bde /stdlib | |
| parent | a69f9be8c5fd60296550ffb23de9a2e9d4c372e4 (diff) | |
Avoid creating malformed location in Camlp4 when no token is consumed
When no token was consumed, Camlp4 created a location with start-pos > stop-pos.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11902 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib')
0 files changed, 0 insertions, 0 deletions