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)