Fix spacing

This commit is contained in:
Eddie Hung
2019-06-20 22:30:20 -07:00
parent cbbd96aae9
commit 6a336ca23e
+1 -1
View File
@@ -89,7 +89,7 @@ struct AigerWriter
aig_map[bit] = mkgate(a0, a1); aig_map[bit] = mkgate(a0, a1);
} else } else
if (alias_map.count(bit)) { if (alias_map.count(bit)) {
int a = bit2aig(alias_map.at(bit)); int a = bit2aig(alias_map.at(bit));
aig_map[bit] = a; aig_map[bit] = a;
} }