Skip to content
GitLab

Remove no longer needed handling of ModelTranslationError 

ProB 2 now always throws ProBError for parse errors and
ModelTranslationError is no longer used.
1 job for master in 3 minutes and 30 seconds
1e9ec5fb
No related merge requests found.