Remove unused throws from method signature

goblint · Sep 13, 2024 · ffeac79 · ffeac79
1 parent cde2015
commit ffeac79
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/main/java/abstractdebugging/AbstractDebuggingServer.java b/src/main/java/abstractdebugging/AbstractDebuggingServer.java
@@ -817,7 +817,7 @@ private void stepAllThreadsIntoMatchingEdge(int primaryThreadId, EdgeInfo primar
         onThreadsStopped("step", primaryThreadId);
     }
 
-    private EdgeInfo findTargetEdge(EdgeInfo primaryTargetEdge, List<? extends EdgeInfo> candidateEdges, String threadName) throws IllegalStepException {
+    private EdgeInfo findTargetEdge(EdgeInfo primaryTargetEdge, List<? extends EdgeInfo> candidateEdges, String threadName) {
         // This is will make ambiguous threads unavailable if there are multiple distinct target edges with the same target CFG node.
         // TODO: Somehow ensure this can never happen.
         //  Options: