Fix spacing

This commit is contained in:
Eddie Hung 2019-07-10 19:04:22 -07:00
parent f3511e4f93
commit e603d719d6
1 changed files with 1 additions and 1 deletions

View File

@ -679,7 +679,7 @@ struct XAigerWriter
aig_o++;
aig_outputs.push_back(0);
omode = true;
}
}
}
void write_aiger(std::ostream &f, bool ascii_mode)