Delete redundant exists()

jorgectf · jorgectf · commit b6bdcd0eb818 · 2021-12-19T18:57:22.000+01:00
diff --git a/python/ql/src/experimental/semmle/python/libraries/Python_JWT.qll b/python/ql/src/experimental/semmle/python/libraries/Python_JWT.qll
@@ -51,6 +51,6 @@ private module Python_JWT {
 
     override DataFlow::Node getOptions() { none() }
 
-    override predicate verifiesSignature() { exists( | verifiesSignature = true) }
+    override predicate verifiesSignature() { verifiesSignature = true }
   }
 }

Original file line number	Diff line number	Diff line change
`@@ -51,6 +51,6 @@ private module Python_JWT {`
`51`	`51`
`52`	`52`	`override DataFlow::Node getOptions() { none() }`
`53`	`53`
`54`		`- override predicate verifiesSignature() { exists( \| verifiesSignature = true) }`
	`54`	`+ override predicate verifiesSignature() { verifiesSignature = true }`
`55`	`55`	`}`
`56`	`56`	`}`