Removed shebang line from smtio.py, fixes #279

diff --git a/backends/smt2/smtio.py b/backends/smt2/smtio.py
index 865eed1f161badc5a1698ac1e1619ccc848cfda7..10a1347117e7398a1657e80b057c958edf47b68b 100644 (file)
--- a/backends/smt2/smtio.py
+++ b/backends/smt2/smtio.py
@@ -1,4 +1,3 @@
-#!/usr/bin/env python3
 #
 # yosys -- Yosys Open SYnthesis Suite
 #