Fix typo in aiger engine
authorClifford Wolf <clifford@clifford.at>
Sun, 26 Feb 2017 12:07:58 +0000 (13:07 +0100)
committerClifford Wolf <clifford@clifford.at>
Sun, 26 Feb 2017 12:07:58 +0000 (13:07 +0100)
commit5657976ad3b7b3bc8d55c8db44d84dffdbe3b7fc
treefe22dd854dd3e8a75cf924d3f989a7fb11350aba
parent9a718367ff4a1d29a6f0a521891986893011920a
Fix typo in aiger engine
sbysrc/sby_engine_aiger.py