diff options
| author | notin | 2009-11-12 18:47:47 +0000 |
|---|---|---|
| committer | notin | 2009-11-12 18:47:47 +0000 |
| commit | 7216342d32fdc05b3fc37f7a76bb1031b89c7e02 (patch) | |
| tree | ffc4e1c4a4fd904bbe6a87e6db7ecd3b4a4fa1be /kernel | |
| parent | a67549d2ec769e48dacf4938209871a83cdc4f91 (diff) | |
Suppression de l'appel à Lexing.new_line (qui n'existe pas dans les versions de OCaml antérieures à 3.11.0)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12512 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions