Skip to content

Commit

Permalink
Merge pull request #4 from jix/fix-aag-latch-init
Browse files Browse the repository at this point in the history
aiger-flussab: Fix missing space when writing ascii latch init
  • Loading branch information
jix authored Jul 2, 2024
2 parents 462b737 + 561198b commit e604ce5
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions flussab-aiger/src/ascii.rs
Original file line number Diff line number Diff line change
Expand Up @@ -875,6 +875,7 @@ where
Some(true) => self.writer.write_all_defer_err(b" 1\n"),
Some(false) => self.writer.write_all_defer_err(b"\n"),
None => {
self.writer.write_all_defer_err(b" ");
flussab::write::text::ascii_digits(&mut self.writer, latch.state.code());
self.writer.write_all_defer_err(b"\n");
}
Expand Down

0 comments on commit e604ce5

Please sign in to comment.