diff options
| author | notin | 2006-06-08 17:49:01 +0000 |
|---|---|---|
| committer | notin | 2006-06-08 17:49:01 +0000 |
| commit | f3e176236f4eda68ffa0002c58d0fd19d41842c1 (patch) | |
| tree | 34399d3be5dbca7e2d6d5872639a6b4bcbcc9f06 /parsing | |
| parent | 2b74dd6e10249fd91bf7a3527d980cc5fbc513aa (diff) | |
Réinitialisation de token_number à chaque compilation d'un nouveau fichier (fixe le bug #914)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8924 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'parsing')
| -rw-r--r-- | parsing/lexer.ml4 | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/parsing/lexer.ml4 b/parsing/lexer.ml4 index cd013e5599..c8756a49fb 100644 --- a/parsing/lexer.ml4 +++ b/parsing/lexer.ml4 @@ -550,10 +550,10 @@ let func cs = Stream.from (fun i -> let (tok, loc) = next_token cs in - loct_add loct i loc; Some tok) + loct_add loct i loc; Some tok) in - current_location_table := loct; - (ts, loct_func loct) + current_location_table := loct; + (ts, loct_func loct) type location_table = (int * int) option array array ref let location_table () = !current_location_table |