fix error message formatting
authorN. Engelhardt <nak@symbioticeda.com>
Tue, 21 Jul 2020 12:48:38 +0000 (14:48 +0200)
committerN. Engelhardt <nak@symbioticeda.com>
Tue, 21 Jul 2020 12:48:38 +0000 (14:48 +0200)
commit7bae1b8bba6532aa71ec9e1e9de474f0c784be19
treed728d46e9468ebf4e5d414e028cfd4ea12093c6b
parent494f84b0ab9e04d12c8461fdf0f699e52c51c22d
fix error message formatting
sbysrc/sby_engine_btor.py