parse of the HOA unfortunately now requires the ltstype
parse of the HOA unfortunately now requires the ltstype

This way we can delegate to ltl_parse_file and be more homogeneous with
the normal LTL path.
utwente-fmt/ltsmin,utwente-fmt/ltsmin,utwente-fmt/ltsmin,utwente-fmt/ltsmin,utwente-fmt/ltsmin,utwente-fmt/ltsmin