Skip to content
GitLab
Explore
Sign in
general
stups
ProB 2 Jupyter Kernel
Repository
prob2-jupyter-kernel
..
commands
LoadFileCommand.java
Find file
Blame
History
Permalink
Remove no longer needed handling of ModelTranslationError
· 1e9ec5fb
dgelessus
authored
Mar 23, 2021
ProB 2 now always throws ProBError for parse errors and ModelTranslationError is no longer used.
1e9ec5fb