raise (GrafiteTypes.Command_error ("bad source pattern: " ^
Lazy.force msg))
| MultiPassDisambiguator.DisambiguationError _ ->
- raise (GrafiteTypes.Command_error ("bad source pattern:
-disambiguation error")))
+ raise (GrafiteTypes.Command_error ("bad source pattern: disambiguation error")))
| _ -> assert false
in
aux 0 [] ty