diff options
-rw-r--r-- | backends/smt2/smtio.py | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/backends/smt2/smtio.py b/backends/smt2/smtio.py index 865eed1f1..10a134711 100644 --- a/backends/smt2/smtio.py +++ b/backends/smt2/smtio.py @@ -1,4 +1,3 @@ -#!/usr/bin/env python3 # # yosys -- Yosys Open SYnthesis Suite # |