diff options
| author | Jim Fehrle | 2019-11-08 11:35:16 -0800 |
|---|---|---|
| committer | Jim Fehrle | 2019-11-14 10:56:28 -0800 |
| commit | cf8bad54a5cb2173014a217b3a85382269fef85c (patch) | |
| tree | 8382fa3fa1a088fd6a645b0bad45d6d27e4630a3 /user-contrib/Ltac2 | |
| parent | 64ddd9ac0c34e560a0640297e2e23b6aaf074810 (diff) | |
Rename non-unique local nonterminals
Diffstat (limited to 'user-contrib/Ltac2')
| -rw-r--r-- | user-contrib/Ltac2/g_ltac2.mlg | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/user-contrib/Ltac2/g_ltac2.mlg b/user-contrib/Ltac2/g_ltac2.mlg index cc3a7c0f79..c1bd585f3f 100644 --- a/user-contrib/Ltac2/g_ltac2.mlg +++ b/user-contrib/Ltac2/g_ltac2.mlg @@ -643,7 +643,7 @@ GRAMMAR EXTEND Gram q_conversion: [ [ c = conversion -> { c } ] ] ; - orient: + ltac2_orient: [ [ "->" -> { CAst.make ~loc (Some true) } | "<-" -> { CAst.make ~loc (Some false) } | -> { CAst.make ~loc None } @@ -665,7 +665,7 @@ GRAMMAR EXTEND Gram ] ] ; oriented_rewriter: - [ [ b = orient; r = rewriter -> + [ [ b = ltac2_orient; r = rewriter -> { let (m, c) = r in CAst.make ~loc @@ { rew_orient = b; |