Fix spacing

diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc
index 53b6ff97ab2132699b6dc257880b7b17505fd140..9a448c2a08f3bc45519f6891721fb33357eca36b 100644 (file)
--- 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)