diff options
author | Clifford Wolf <clifford@clifford.at> | 2015-08-22 09:54:21 +0200 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2015-08-22 09:54:21 +0200 |
commit | 8d1956f0da234102d819cf3cd789d384e42128ee (patch) | |
tree | af6e04d68788db94419feeab80604feb169ad446 /scripts/smt2-bmc/smtio.py | |
parent | c6ee9522dfb17bb19ab5a40f58ecf668d65ac235 (diff) | |
download | picorv32-8d1956f0da234102d819cf3cd789d384e42128ee.tar.gz picorv32-8d1956f0da234102d819cf3cd789d384e42128ee.zip |
Using "#!/usr/bin/env python3"
Diffstat (limited to 'scripts/smt2-bmc/smtio.py')
-rw-r--r-- | scripts/smt2-bmc/smtio.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/smt2-bmc/smtio.py b/scripts/smt2-bmc/smtio.py index 1e37eb0..bdd8100 100644 --- a/scripts/smt2-bmc/smtio.py +++ b/scripts/smt2-bmc/smtio.py @@ -1,4 +1,4 @@ -#!/usr/bin/python3 +#!/usr/bin/env python3 import sys import subprocess |