Minor style fixes
authorClifford Wolf <clifford@clifford.at>
Tue, 18 Dec 2018 19:02:39 +0000 (20:02 +0100)
committerClifford Wolf <clifford@clifford.at>
Tue, 18 Dec 2018 19:02:39 +0000 (20:02 +0100)
commit23bb77867f56e966195d99d1d89b45d510d0b92d
tree1ad0e21e2c941213358f91d3b38218bcd28c5764
parent2d73e1b60a43f2a621b387768134b83054f59e89
Minor style fixes

Signed-off-by: Clifford Wolf <clifford@clifford.at>
backends/btor/btor.cc
backends/btor/test_cells.sh [changed mode: 0755->0644]