diff options
Diffstat (limited to 'tests/tools')
-rwxr-xr-x | tests/tools/txt2tikztiming.py | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/tests/tools/txt2tikztiming.py b/tests/tools/txt2tikztiming.py index cfefe339f..9c6cd3a19 100755 --- a/tests/tools/txt2tikztiming.py +++ b/tests/tools/txt2tikztiming.py @@ -1,7 +1,4 @@ -#!/usr/bin/python - -from __future__ import division -from __future__ import print_function +#!/usr/bin/env python3 import argparse import fileinput |