flussab-aiger: Fix missing space when writing binary latch init

jix · Sep 7, 2024 · c241236 · c241236
1 parent e604ce5
commit c241236
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/flussab-aiger/src/binary.rs b/flussab-aiger/src/binary.rs
@@ -864,6 +864,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, self.code);
                 self.writer.write_all_defer_err(b"\n");
             }