diff options
| author | herbelin | 2002-12-03 15:07:19 +0000 |
|---|---|---|
| committer | herbelin | 2002-12-03 15:07:19 +0000 |
| commit | baed251f7e00024b900c1ddc984cc0fce4df5cb6 (patch) | |
| tree | e953a6d767aa94c4452fed6aee48ec7a060cf205 /parsing/ppconstr.ml | |
| parent | 7a1636ec58c426059ff6864edd12868087b7f93c (diff) | |
bugs d'affichage (confusion key/scope dans les délimiteurs)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3366 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'parsing/ppconstr.ml')
| -rw-r--r-- | parsing/ppconstr.ml | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/parsing/ppconstr.ml b/parsing/ppconstr.ml index cea099da77..a8dd7b8aa1 100644 --- a/parsing/ppconstr.ml +++ b/parsing/ppconstr.ml @@ -87,9 +87,8 @@ let prec_less child (parent,assoc) = (if assoc = E then (<=) else (<)) child parent let env_assoc_value v env = - try List.assoc v env - with Not_found -> - anomaly ("Printing metavariable "^(string_of_id v)^" is unbound") + try List.nth env (v-1) + with Not_found -> anomaly "Inconsistent environment for pretty-print rule" open Symbols |