From 0035dc29829b4b42bb4aaaf2ed14d6c0bf84ce84 Mon Sep 17 00:00:00 2001
From: Mark Shannon <mark@hotpy.org>
Date: Thu, 9 May 2019 16:00:58 +0100
Subject: [PATCH] Python QL: Use Module.getPath() to implement
 ModuleObject.getPath()

---
 python/ql/src/semmle/python/types/ModuleObject.qll | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/python/ql/src/semmle/python/types/ModuleObject.qll b/python/ql/src/semmle/python/types/ModuleObject.qll
index c98d567bea43..5137597228b3 100644
--- a/python/ql/src/semmle/python/types/ModuleObject.qll
+++ b/python/ql/src/semmle/python/types/ModuleObject.qll
@@ -234,10 +234,7 @@ class PackageObject extends ModuleObject {
     }
 
     override Container getPath() {
-        exists(ModuleObject m | 
-            m.getPackage() = this |
-            result = m.getPath().getParent()
-        )
+        result = this.getModule().getPath()
     }
 
     ModuleObject submodule(string name) {