Skip to content

Commit 86137f3

Browse files
committed
Merge branch 'mr/pmderodat/lazy-stack-traces' into 'master'
lkql_jit: update source code after a breaking API change in Langkit See merge request eng/libadalang/langkit-query-language!409
2 parents 139c6af + c111129 commit 86137f3

File tree

1 file changed

+1
-3
lines changed

1 file changed

+1
-3
lines changed

lkql_jit/language/src/main/java/com/adacore/lkql_jit/checker/built_ins/NodeCheckerFunction.java

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -120,9 +120,7 @@ public Object alwaysTrue(VirtualFrame frame, Libadalang.AdaNode root) {
120120
);
121121
if (context.isCheckerDebug()) {
122122
context.getLogger().severe(e.getMessage());
123-
context
124-
.getLogger()
125-
.severe(e.adaStackTrace.orElse("ERROR: can't get Ada stack trace"));
123+
context.getLogger().severe(e.nativeStackTrace());
126124
}
127125
continue;
128126
}

0 commit comments

Comments
 (0)