Fix simple abspath bug (#344)

Fixes #343
2017-06-21 16:59:11 -04:00 · 2017-06-21 16:59:11 -04:00 · 860d51ebf1
commit 860d51ebf1
parent a3f0d92393
1 changed files with 1 additions and 1 deletions
--- a/manticore/platforms/linux.py
+++ b/manticore/platforms/linux.py
@ -1198,7 +1198,7 @@ class Linux(Platform):
        try:
            if os.path.abspath(filename).startswith('/proc/self'):
                if filename == '/proc/self/exe':
-                    filename = os.abspath(self.program)
+                    filename = os.path.abspath(self.program)
                else:
                    logger.info("FIXME!")
            mode = {os.O_RDWR: 'r+', os.O_RDONLY: 'r', os.O_WRONLY: 'w'}[flags&7]