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