diff options
| author | herbelin | 2009-04-25 17:41:20 +0000 |
|---|---|---|
| committer | herbelin | 2009-04-25 17:41:20 +0000 |
| commit | 3f40ddb52ed52ea1e1939feaecf952269335500f (patch) | |
| tree | 196cbe579513ceeb07a86252944871ea78534f28 /toplevel | |
| parent | 6e1041ad146ab3cf90cfdfad237ee1f6816a3db6 (diff) | |
- Fixing #2090 (occur check missing when trying to solve evar-evar equation).
- Adding test file related to commit 12080 (bug #2091).
- Cleaning old parsing stuff from 8.0.
- Support for camlp5 in base_include.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12106 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'toplevel')
| -rw-r--r-- | toplevel/metasyntax.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/toplevel/metasyntax.ml b/toplevel/metasyntax.ml index 75a6a8e755..c0105c8b3b 100644 --- a/toplevel/metasyntax.ml +++ b/toplevel/metasyntax.ml @@ -377,7 +377,6 @@ let precedence_of_entry_type from = function n, let (lp,rp) = prec_assoc a in if b=Left then lp else rp | ETConstr (NumLevel n,InternalProd) -> n, Prec n | ETConstr (NextLevel,_) -> from, L - | ETOther ("constr","annot") -> 10, Prec 10 | _ -> 0, E (* ?? *) (* Some breaking examples *) |