Commits

Leonardo de Moura committed 62cc752

Fixed bug reported by Arie Gurfinkel

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>

  • Participants
  • Parent commits 7cdf5e4

Comments (0)

Files changed (1)

File scripts/update_api.py

       except:
         pass
       try:
-        init('%s%slibz3.%s' % (_dir, ext))
+        init(os.path.join(_dir, 'libz3.%s' % ext))
         break
       except:
         pass