diff --git a/java/ql/integration-tests/posix-only/kotlin/compiler_arguments/compArgs.ql b/java/ql/integration-tests/posix-only/kotlin/compiler_arguments/compArgs.ql
index 2be349c0432..fe4bedba634 100644
--- a/java/ql/integration-tests/posix-only/kotlin/compiler_arguments/compArgs.ql
+++ b/java/ql/integration-tests/posix-only/kotlin/compiler_arguments/compArgs.ql
@@ -5,7 +5,7 @@ private string getArgument(Compilation c, int i) {
     if exists(arg.indexOf("-Xplugin="))
     then result = "<PLUGINS>"
     else
-      if exists(string arg0 | arg0 = c.getArgument(i - 1) | arg0 = ["-classpath", "-jdk-home"])
+      if c.getArgument(i - 1) = ["-classpath", "-jdk-home"]
       then result = "<PATH>"
       else result = arg
   )