diff options
| -rw-r--r-- | toplevel/metasyntax.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/toplevel/metasyntax.ml b/toplevel/metasyntax.ml index 875c72b39..0862c792d 100644 --- a/toplevel/metasyntax.ml +++ b/toplevel/metasyntax.ml @@ -418,7 +418,7 @@ let make_pp_rule symbols typs = (* Syntax extenstion: common parsing/printing rules and no interpretation *) let cache_syntax_extension (_,(prec,ntn,gr,se)) = - if not (Symbols.exists_notation prec notation) then begin + if not (Symbols.exists_notation prec ntn) then begin Egrammar.extend_grammar (Egrammar.Notation gr); if se<>None then Symbols.declare_notation_printing_rule ntn (out_some se,fst prec) |