diff options
| author | Michel Mauny <Michel.Mauny@ensta.fr> | 2004-11-17 09:07:56 +0000 |
|---|---|---|
| committer | Michel Mauny <Michel.Mauny@ensta.fr> | 2004-11-17 09:07:56 +0000 |
| commit | 22c16bdda1f86b4fd431b81b6384f07fe1a82d4a (patch) | |
| tree | a42de5a71f08f3c0378ba0b6a4254d2def7b7827 /camlp4/ocaml_src/lib/grammar.ml | |
| parent | ad6b860a9f82fbd4729345ca7933a8157b757fe0 (diff) | |
Global renaming of "loc" into "_loc" and get rid of some unused variables
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6682 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'camlp4/ocaml_src/lib/grammar.ml')
| -rw-r--r-- | camlp4/ocaml_src/lib/grammar.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/camlp4/ocaml_src/lib/grammar.ml b/camlp4/ocaml_src/lib/grammar.ml index 3501976d1..a58d5585d 100644 --- a/camlp4/ocaml_src/lib/grammar.ml +++ b/camlp4/ocaml_src/lib/grammar.ml @@ -214,7 +214,7 @@ let rec name_of_symbol entry = let rec get_token_list entry tokl last_tok tree = match tree with - Node {node = Stoken tok as s; son = son; brother = DeadEnd} -> + Node {node = Stoken tok; son = son; brother = DeadEnd} -> get_token_list entry (last_tok :: tokl) tok son | _ -> if tokl = [] then None |