summaryrefslogtreecommitdiffstats
path: root/camlp4/ocaml_src/lib/grammar.ml
diff options
context:
space:
mode:
authorMichel Mauny <Michel.Mauny@ensta.fr>2004-11-17 09:07:56 +0000
committerMichel Mauny <Michel.Mauny@ensta.fr>2004-11-17 09:07:56 +0000
commit22c16bdda1f86b4fd431b81b6384f07fe1a82d4a (patch)
treea42de5a71f08f3c0378ba0b6a4254d2def7b7827 /camlp4/ocaml_src/lib/grammar.ml
parentad6b860a9f82fbd4729345ca7933a8157b757fe0 (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.ml2
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