From c43cda1ff1e417714361e8214a0943e2793ee8df Mon Sep 17 00:00:00 2001 From: Jannis Harder Date: Thu, 18 Mar 2021 15:59:58 +0100 Subject: [PATCH] Use strict header parsing in examples --- flussab-cnf/examples/roundtrip_cnf.rs | 2 +- flussab-cnf/examples/roundtrip_gcnf.rs | 2 +- flussab-cnf/examples/roundtrip_wcnf.rs | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/flussab-cnf/examples/roundtrip_cnf.rs b/flussab-cnf/examples/roundtrip_cnf.rs index 6b14416..3388070 100644 --- a/flussab-cnf/examples/roundtrip_cnf.rs +++ b/flussab-cnf/examples/roundtrip_cnf.rs @@ -14,7 +14,7 @@ fn main_err() -> Result<(), ParseError> { let stdin = std::io::stdin(); let stdout = std::io::stdout(); - let mut cnf_reader = cnf::Parser::::from_read(stdin.lock(), false)?; + let mut cnf_reader = cnf::Parser::::from_read(stdin.lock(), true)?; let mut cnf_writer = ByteWriter::from_write(stdout.lock()); if let Some(header) = cnf_reader.header() { diff --git a/flussab-cnf/examples/roundtrip_gcnf.rs b/flussab-cnf/examples/roundtrip_gcnf.rs index d7ea9d8..86d35f6 100644 --- a/flussab-cnf/examples/roundtrip_gcnf.rs +++ b/flussab-cnf/examples/roundtrip_gcnf.rs @@ -14,7 +14,7 @@ fn main_err() -> Result<(), ParseError> { let stdin = std::io::stdin(); let stdout = std::io::stdout(); - let mut gcnf_reader = gcnf::Parser::::from_read(stdin.lock(), false)?; + let mut gcnf_reader = gcnf::Parser::::from_read(stdin.lock(), true)?; let mut gcnf_writer = ByteWriter::from_write(stdout.lock()); if let Some(header) = gcnf_reader.header() { diff --git a/flussab-cnf/examples/roundtrip_wcnf.rs b/flussab-cnf/examples/roundtrip_wcnf.rs index bb20337..4d0e034 100644 --- a/flussab-cnf/examples/roundtrip_wcnf.rs +++ b/flussab-cnf/examples/roundtrip_wcnf.rs @@ -14,7 +14,7 @@ fn main_err() -> Result<(), ParseError> { let stdin = std::io::stdin(); let stdout = std::io::stdout(); - let mut wcnf_reader = wcnf::Parser::::from_read(stdin.lock(), false)?; + let mut wcnf_reader = wcnf::Parser::::from_read(stdin.lock(), true)?; let mut wcnf_writer = ByteWriter::from_write(stdout.lock()); if let Some(header) = wcnf_reader.header() {