Fix spacing

diff --git a/backends/aiger/aiger.cc b/backends/aiger/aiger.cc
index 4fb47f0d6ba9d3bf01b1650175f8d9c135faac07..2815abda8346f0f959d56660ceae49dea6dde4a2 100644 (file)
--- a/backends/aiger/aiger.cc
+++ b/backends/aiger/aiger.cc
@@ -89,7 +89,7 @@ struct AigerWriter
                                aig_map[bit] = mkgate(a0, a1);
                        } else
                        if (alias_map.count(bit)) {
-                int a = bit2aig(alias_map.at(bit));
+                               int a = bit2aig(alias_map.at(bit));
                                aig_map[bit] = a;
                        }