Merge pull request #390 from pysmt/i389/no-git

Fixed issue #389
pysmt · Nov 17, 2016 · 3758a84 · 3758a84
2 parents 1aa86c6 + cb2d380
commit 3758a84
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/pysmt/__init__.py b/pysmt/__init__.py
@@ -41,3 +41,5 @@ def git_version():
         return git_version.strip().decode('ascii')
     except subprocess.CalledProcessError:
         return __version__ # pragma: no cover
+    except OSError:
+        return __version__ # pragma: no cover