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/sync.py | |
| parent | c6ee9522dfb17bb19ab5a40f58ecf668d65ac235 (diff) | |
| download | picorv32-8d1956f0da234102d819cf3cd789d384e42128ee.tar.gz picorv32-8d1956f0da234102d819cf3cd789d384e42128ee.zip | |
Using "#!/usr/bin/env python3"
Diffstat (limited to 'scripts/smt2-bmc/sync.py')
| -rw-r--r-- | scripts/smt2-bmc/sync.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/smt2-bmc/sync.py b/scripts/smt2-bmc/sync.py index 6f35841..d46af3a 100644 --- a/scripts/smt2-bmc/sync.py +++ b/scripts/smt2-bmc/sync.py @@ -1,4 +1,4 @@ -#!/usr/bin/python3 +#!/usr/bin/env python3 import os, sys, getopt from time import time |