From e603d719d650722e4fcd1b65b46c64da19c92f81 Mon Sep 17 00:00:00 2001
From: Eddie Hung <eddie@fpgeh.com>
Date: Wed, 10 Jul 2019 19:04:22 -0700
Subject: [PATCH] Fix spacing

---
 backends/aiger/xaiger.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc
index 53b6ff97a..9a448c2a0 100644
--- a/backends/aiger/xaiger.cc
+++ b/backends/aiger/xaiger.cc
@@ -679,7 +679,7 @@ struct XAigerWriter
 			aig_o++;
 			aig_outputs.push_back(0);
 			omode = true;
-        }
+		}
 	}
 
 	void write_aiger(std::ostream &f, bool ascii_mode)
-- 
2.30.2