From 86a0228d127d15ff48f9f5f4b03f03858b9349d1 Mon Sep 17 00:00:00 2001
From: Michael Rawson <michael@rawsons.uk>
Date: Wed, 23 Jun 2021 23:11:49 +0100
Subject: [PATCH] fix TSTP output

---
 Cargo.lock  | 4 ++--
 src/tstp.rs | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/Cargo.lock b/Cargo.lock
index 94b58b4..d2bc1b0 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -166,9 +166,9 @@ dependencies = [
 
 [[package]]
 name = "nom"
-version = "6.2.0"
+version = "6.2.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "046a595c7251e2f48b291c1b65d98ef1df51dbfbad46e99a1ff09729535a779e"
+checksum = "9c5c51b9083a3c620fa67a2a635d1ce7d95b897e957d6b28ff9a5da960a103a6"
 dependencies = [
  "bitvec",
  "funty",
diff --git a/src/tstp.rs b/src/tstp.rs
index 390c666..49bb16c 100644
--- 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)?;
     }