add missing pragma back

alexrford · alexrford · commit 41e7ef11e63c · 2021-08-31T21:19:56.000+01:00
diff --git a/ql/lib/codeql/Locations.qll b/ql/lib/codeql/Locations.qll
@@ -52,6 +52,7 @@ class Location extends @location {
   }
 
   /** Holds if this location starts strictly before the specified location. */
+  pragma[inline]
   predicate strictlyBefore(Location other) {
     this.getStartLine() < other.getStartLine()
     or

Original file line number	Diff line number	Diff line change
`@@ -52,6 +52,7 @@ class Location extends @location {`
`52`	`52`	`}`
`53`	`53`
`54`	`54`	`/** Holds if this location starts strictly before the specified location. */`
	`55`	`+ pragma[inline]`
`55`	`56`	`predicate strictlyBefore(Location other) {`
`56`	`57`	`this.getStartLine() < other.getStartLine()`
`57`	`58`	`or`