From: Clifford Wolf <clifford@clifford.at>
Date: Tue, 18 Dec 2018 19:02:39 +0000 (+0100)
Subject: Minor style fixes
X-Git-Tag: yosys-0.9~361
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=23bb77867f56e966195d99d1d89b45d510d0b92d;p=yosys.git

Minor style fixes

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

diff --git a/backends/btor/btor.cc b/backends/btor/btor.cc
index d3fb9b858..53359bd7b 100644
--- 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
new mode 100644