match st with
| Notation (loc, dir, l1, associativity, precedence, l2) ->
let l1 =
- CicNotationParser.check_l1_pattern l1 precedence associativity
+ CicNotationParser.check_l1_pattern
+ l1 (dir = Some `RightToLeft) precedence associativity
in
let item = (l1, precedence, associativity, l2) in
let rule_id = ref [] in