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 18dc7366b..f1ceda650 100644 --- a/toplevel/metasyntax.ml +++ b/toplevel/metasyntax.ml @@ -494,7 +494,7 @@ let hunks_of_format (from,(vars,typs) as vt) symfmt = when s' = String.make (String.length s') ' ' -> let symbs, l = aux (symbs,fmt) in symbs, u :: l | Terminal s :: symbs, (UnpTerminal s' as u) :: fmt when quote s = s' -> - let symbs, l = aux (symbs,fmt) in symbs, u :: l + let symbs, l = aux (symbs,fmt) in symbs, UnpTerminal s :: l | NonTerminal s :: symbs, UnpTerminal s' :: fmt when s = id_of_string s' -> let i = list_index s vars in let _,prec = precedence_of_entry_type from (List.nth typs (i-1)) in |