diff --git a/src/main/java/abstractdebugging/AbstractDebuggingServer.java b/src/main/java/abstractdebugging/AbstractDebuggingServer.java index 879c182..f7d3c92 100644 --- a/src/main/java/abstractdebugging/AbstractDebuggingServer.java +++ b/src/main/java/abstractdebugging/AbstractDebuggingServer.java @@ -836,7 +836,7 @@ private EdgeInfo findTargetEdge(EdgeInfo primaryTargetEdge, List e.cfgNodeId().equals(primaryTargetEdge.cfgNodeId())) .toList(); if (targetEdgesByCFGNode.size() > 1) { - log.info("Disabling synchronous stepping in the debugging thread \"" + threadName + "\", as the path there is ambiguous."); + log.warn("Disabling synchronous stepping in the debugging thread \"" + threadName + "\", as the path there is ambiguous."); } return targetEdgesByCFGNode.size() == 1 ? targetEdgesByCFGNode.get(0) : null; }