- let macro, x = get_macro s (L.length ts) in
- if macro <> "" then
- let ts1, ts2 = X.split_at x ts in
- Some (macro, s, ts1, ts2)
- else begin
- if !G.log_missing then missing s;
- None
+ let l = L.length ts in
+ let macro, x = get_macro s l in
+ begin match macro with
+ | ""
+ | "APPL" -> None
+ | _ ->
+ let ts1, ts2 = X.split_at x ts in
+ Some (macro, s, ts1, ts2)