fixed catch of stackoverflow

usethesource · Nov 22, 2024 · 5004ced · 5004ced
1 parent e91d068
commit 5004ced
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/src/org/rascalmpl/semantics/dynamic/Statement.java b/src/org/rascalmpl/semantics/dynamic/Statement.java
@@ -994,8 +994,9 @@ private static boolean isCatchStackOverflow(org.rascalmpl.ast.Expression pattern
 			}
 			else if (pattern.isCallOrTree()) {
 				var called = pattern.getExpression();
-				if (called.hasName()) {
-					return pattern.getArguments().isEmpty() && "StackOverflow".equals(Names.name(called.getName()));
+				if (called.isQualifiedName()) {
+					var qname = called.getQualifiedName();
+					return pattern.getArguments().isEmpty() && "StackOverflow".equals(Names.consName(qname));
 				}
 			}