From 0434cce4c3f4af451b49923203f77451726f2737 Mon Sep 17 00:00:00 2001 From: Koen Vlaswinkel Date: Wed, 13 Sep 2023 14:54:03 +0200 Subject: [PATCH] Java: Fix formatting of AutomodelVsCode.qll file --- java/ql/src/utils/modeleditor/AutomodelVsCode.qll | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/java/ql/src/utils/modeleditor/AutomodelVsCode.qll b/java/ql/src/utils/modeleditor/AutomodelVsCode.qll index d5a5b9a8111..ed67e2ace35 100644 --- a/java/ql/src/utils/modeleditor/AutomodelVsCode.qll +++ b/java/ql/src/utils/modeleditor/AutomodelVsCode.qll @@ -93,9 +93,7 @@ class CallableMethod extends Callable { /** Holds if this API is a known neutral. */ pragma[nomagic] predicate isNeutral() { - exists( - string namespace, string type, string name, string signature - | + exists(string namespace, string type, string name, string signature | neutralModel(namespace, type, name, signature, _, _) and this = interpretElement(namespace, type, false, name, signature, "") )