Minor style fixes

Signed-off-by: Clifford Wolf <[email protected]>
2026-10-06 01:53:53 +02:00 · 2018-12-18 20:02:39 +01:00
parent 2d73e1b60a
commit 23bb77867f
2 changed files with 1 additions and 1 deletions
@@ -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";