Add typehint to Directory stat()

Co-authored-by: Eric Hennenfent <eric.hennenfent@trailofbits.com>
trailofbits · Aug 11, 2020 · b6cce76 · b6cce76
1 parent e0f0077
commit b6cce76
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/manticore/platforms/linux.py b/manticore/platforms/linux.py
@@ -403,7 +403,7 @@ def close(self):
         except OSError as e:
             return -e.errno
 
-    def stat(self):
+    def stat(self) -> os.stat_result:
         try:
             return os.stat(self.fileno())
         except OSError as e: