Kotlin: Fix compilation_finished upgrade script

igfoo · igfoo · commit 3662611b04f4 · 2022-05-10T19:51:31.000+01:00
diff --git a/java/ql/lib/upgrades/37f33da42d2cffa6ad8b26feaa6beed1c5ce3149/compilation_finished.ql b/java/ql/lib/upgrades/37f33da42d2cffa6ad8b26feaa6beed1c5ce3149/compilation_finished.ql
@@ -3,5 +3,5 @@ class Compilation extends @compilation {
 }
 
 from Compilation c, float cpu_seconds, float elapsed_seconds
-where compilations(c, cpu_seconds, elapsed_seconds)
+where compilation_finished(c, cpu_seconds, elapsed_seconds)
 select c, cpu_seconds, elapsed_seconds, /* success */ 0

Original file line number	Diff line number	Diff line change
`@@ -3,5 +3,5 @@ class Compilation extends @compilation {`
`3`	`3`	`}`
`4`	`4`
`5`	`5`	`from Compilation c, float cpu_seconds, float elapsed_seconds`
`6`		`-where compilations(c, cpu_seconds, elapsed_seconds)`
	`6`	`+where compilation_finished(c, cpu_seconds, elapsed_seconds)`
`7`	`7`	`select c, cpu_seconds, elapsed_seconds, /* success */ 0`