try
combine_with_rest names cic_args
with Invalid_argument _ ->
- raise (Invalid_choice (lazy ("The notation " ^ dsc ^ " expects more arguments")))
+ raise (Invalid_choice (None, lazy ("The notation " ^ dsc ^ " expects more arguments")))
in
let combined =
TermAcicContent.instantiate_appl_pattern env' appl_pattern