diff options
| -rw-r--r-- | toplevel/metasyntax.ml | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/toplevel/metasyntax.ml b/toplevel/metasyntax.ml index b5fd0d5708..ad5ae7c605 100644 --- a/toplevel/metasyntax.ml +++ b/toplevel/metasyntax.ml @@ -681,7 +681,7 @@ let (inSyntaxExtension, outSyntaxExtension) = (**************************************************************************) (* Precedences *) -let interp_modifiers = +let interp_modifiers modl = let onlyparsing = ref false in let rec interp assoc level etyps format = function | [] -> @@ -710,9 +710,8 @@ let interp_modifiers = interp assoc level etyps format l | SetFormat s :: l -> if format <> None then error "A format is given more than once"; - onlyparsing := true; interp assoc level etyps (Some s) l - in interp None None [] None + in interp None None [] None modl let merge_modifiers a n l = (match a with None -> [] | Some a -> [SetAssoc a]) @ |