Minor style fixes

Signed-off-by: Clifford Wolf <clifford@clifford.at>

diff --git a/backends/btor/btor.cc b/backends/btor/btor.cc
index d3fb9b858568c6f2b43d9231ec2e456511028c87..53359bd7bd76e48cf1e963623a8be5cf64fb099a 100644 (file)
--- a/backends/btor/btor.cc
+++ b/backends/btor/btor.cc
@@ -134,7 +134,7 @@ struct BtorWorker
                btorf_push(log_id(cell));
 
                if (cell->type.in("$add", "$sub", "$mul", "$and", "$or", "$xor", "$xnor", "$shl", "$sshl", "$shr", "$sshr", "$shift", "$shiftx",
-                      "$concat", "$_AND_", "$_NAND_", "$_OR_", "$_NOR_", "$_XOR_", "$_XNOR_"))
+                               "$concat", "$_AND_", "$_NAND_", "$_OR_", "$_NOR_", "$_XOR_", "$_XNOR_"))
                {
                        string btor_op;
                        if (cell->type == "$add") btor_op = "add";

diff --git a/backends/btor/test_cells.sh b/backends/btor/test_cells.sh
old mode 100755 (executable)
new mode 100644 (file)