tree 77edbd8e39a668b32d5137b67c956ebb68864718
parent 77093383f7deb10f655a15050af93d1e6557b52b
author Marc Kupietz <kupietz@ids-mannheim.de> 1638869650 +0100
committer Marc Kupietz <kupietz@ids-mannheim.de> 1638870269 +0100

CA: catch case when no examples are found

Change-Id: Icd241709d2701a37771b4f2dbf9f3dff754e1a30