From: ayveejay <41393247+ayveejay@users.noreply.github.com>
Date: Thu, 26 Jul 2018 18:27:46 +0000 (+0100)
Subject: Avoid explicit dependency on Python 3 (#2195)
X-Git-Tag: cvc5-1.0.0~4862
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=d23c9f4112003c006fc1f1d78d8c82c8310908c9;p=cvc5.git

Avoid explicit dependency on Python 3 (#2195)
---

diff --git a/src/options/mkoptions.py b/src/options/mkoptions.py
index 5020920ff..b2df21501 100755
--- a/src/options/mkoptions.py
+++ b/src/options/mkoptions.py
@@ -1,4 +1,4 @@
-#!/usr/bin/env python3
+#!/usr/bin/env python
 """
     Generate option handling code and documentation in one pass. The generated
     files are only written to the destination file if the contents of the file