Python: Fix error in update Module to use new points-to API.

markshannon · markshannon · commit fc2c46fe4adc · 2019-04-26T16:21:46.000+01:00
diff --git a/python/ql/src/semmle/python/Module.qll b/python/ql/src/semmle/python/Module.qll
@@ -69,7 +69,7 @@ class Module extends Module_, Scope, AstNode {
         or
         exists(ModuleValue mod |
             mod.getSource() = this.getEntryNode() |
-            not mod.exports(result)
+            mod.exports(result)
         )
     }
 

Original file line number	Diff line number	Diff line change
`@@ -69,7 +69,7 @@ class Module extends Module_, Scope, AstNode {`
`69`	`69`	`or`
`70`	`70`	`exists(ModuleValue mod \|`
`71`	`71`	`mod.getSource() = this.getEntryNode() \|`
`72`		`- not mod.exports(result)`
	`72`	`+ mod.exports(result)`
`73`	`73`	`)`
`74`	`74`	`}`
`75`	`75`