fix TSTP output

MichaelRawson · Jun 23, 2021 · 86a0228 · 86a0228
1 parent e143912
commit 86a0228
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/src/tstp.rs b/src/tstp.rs
@@ -54,7 +54,7 @@ pub(crate) fn print_proof<W: Write>(
     };
     writeln!(w, "% SZS status {} for {}", status, name)?;
     if !options.quiet {
-        writeln!(w, "% SZS output begin ListOfCNF for {}", name)?;
+        writeln!(w, "% SZS output start ListOfCNF for {}", name)?;
         ground.print_proof(w, matrix)?;
         writeln!(w, "% SZS output end ListOfCNF for {}", name)?;
     }