All files use python3 now

Fixes #121
JasonGross · Mar 6, 2024 · c254f3e · c254f3e
1 parent 6392e56
commit c254f3e
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 4 deletions.
diff --git a/coq_tools/absolutize_imports.py b/coq_tools/absolutize_imports.py
@@ -1,4 +1,4 @@
-#!/usr/bin/env python2
+#!/usr/bin/env python3
 import shutil, os, os.path, sys
 from .argparse_compat import argparse
 from .import_util import get_file, sort_files_by_dependency, IMPORT_ABSOLUTIZE_TUPLE, ALL_ABSOLUTIZE_TUPLE

diff --git a/coq_tools/minimize_requires.py b/coq_tools/minimize_requires.py
@@ -1,4 +1,4 @@
-#!/usr/bin/env python2
+#!/usr/bin/env python3
 import shutil, os, os.path, sys, re
 from .argparse_compat import argparse
 from .custom_arguments import add_libname_arguments, update_env_with_libnames, add_logging_arguments, process_logging_arguments, get_parser_name_mapping, LOG_ALWAYS, DEFAULT_VERBOSITY

diff --git a/coq_tools/move_requires.py b/coq_tools/move_requires.py
@@ -1,4 +1,4 @@
-#!/usr/bin/env python2
+#!/usr/bin/env python3
 from __future__ import with_statement
 import os, sys, shutil, re
 from .argparse_compat import argparse

diff --git a/coq_tools/move_vernaculars.py b/coq_tools/move_vernaculars.py
@@ -1,4 +1,4 @@
-#!/usr/bin/env python2
+#!/usr/bin/env python3
 from __future__ import with_statement
 import os, sys, shutil, re
 from .argparse_compat import argparse