Fix spacing

This commit is contained in:
Eddie Hung 2019-06-20 22:29:40 -07:00
parent 6f6a7428f2
commit 531d36336d
1 changed files with 1 additions and 1 deletions

View File

@ -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;
}