]> Devoid-pointer.net GitWeb - Nine-Q.git/commit
Catch unhandled exceptions that might occur in Check_Answer
authorMichal Malý <madcatxster@devoid-pointer.net>
Tue, 23 Dec 2014 18:40:37 +0000 (19:40 +0100)
committerMichal Malý <madcatxster@devoid-pointer.net>
Tue, 23 Dec 2014 18:40:37 +0000 (19:40 +0100)
commit8440a885a622c3ec7782278a7e9f8c1a60dc3690
tree581847654b537eed2bafbc4cc194dd8079aadc25
parentbf6948024b5d7af56108093b58977c5f37b035b4
Catch unhandled exceptions that might occur in Check_Answer
src/problem_manager.adb