diff options
| author |  Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2016-09-16 15:46:31 +0200 |
|---|---|---|
| committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2016-09-16 15:49:36 +0200 |
| commit | e6eef565639fb3840dd235eb675ece6e4dbeb082 (patch) | |
| tree | c222c842f7fad5f30bfc195962ee6984ee723fd8 /parsing | |
| parent | 1a1af4f2119715245b8d4488664a8b57f4bdce08 (diff) | |
Addressing OCaml compilation warnings.
One of them revealed a true bug.
Diffstat (limited to 'parsing')
| -rw-r--r-- | parsing/egramcoq.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/parsing/egramcoq.ml b/parsing/egramcoq.ml index 65d49cb45..a292c7463 100644 --- a/parsing/egramcoq.ml +++ b/parsing/egramcoq.ml @@ -449,7 +449,6 @@ let extend_constr state forpat ng = let isforpat = target_to_bool forpat in let needed_levels, state = register_empty_levels state isforpat pure_sublevels in let (pos,p4assoc,name,reinit), state = find_position state isforpat assoc level in - let nb_decls = List.length needed_levels + 1 in let empty_rules = List.map (prepare_empty_levels isforpat) needed_levels in let empty = { constrs = []; constrlists = []; binders = [] } in let act = ty_eval r (make_act forpat ng.notgram_notation) empty in |