diff --git a/src/main/java/soot/jimple/toolkits/typing/fast/TypeResolver.java b/src/main/java/soot/jimple/toolkits/typing/fast/TypeResolver.java index 6fe917ec2a9..dcaff372626 100644 --- a/src/main/java/soot/jimple/toolkits/typing/fast/TypeResolver.java +++ b/src/main/java/soot/jimple/toolkits/typing/fast/TypeResolver.java @@ -498,6 +498,7 @@ public void run() { try { executionService.awaitTermination(100, TimeUnit.DAYS); } catch (InterruptedException e) { + throw new RuntimeException("Interrupted during type resolving", e); } } return minTyping[0];