Use strict header parsing in examples

jix · Mar 18, 2021 · c43cda1 · c43cda1
1 parent 865bfda
commit c43cda1
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git 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::<i32>::from_read(stdin.lock(), false)?;
+    let mut cnf_reader = cnf::Parser::<i32>::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
@@ -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::<i32>::from_read(stdin.lock(), false)?;
+    let mut gcnf_reader = gcnf::Parser::<i32>::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
@@ -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::<i32>::from_read(stdin.lock(), false)?;
+    let mut wcnf_reader = wcnf::Parser::<i32>::from_read(stdin.lock(), true)?;
     let mut wcnf_writer = ByteWriter::from_write(stdout.lock());
 
     if let Some(header) = wcnf_reader.header() {