in
try
List.combine names cic_args
- with Invalid_argument _ -> raise Invalid_choice
+ with Invalid_argument _ ->
+ raise (Invalid_choice (lazy "The notation expects a different number of arguments"))
in
CicNotationFwd.instantiate_appl_pattern env' appl_pattern)