tree 92666446c79384353718f42b3f3be5a5a127b720
parent 351f769370677a491ee72f7fe48527709ee9117c
author margaretha <margaretha@ids-mannheim.de> 1550504934 +0100
committer margaretha <margaretha@ids-mannheim.de> 1550504934 +0100

Updated handling errors from Koral and fixed tests.

Change-Id: I7ff3caa35d247b4707c11315cf2e653eed9a689b