From cc56c493f65f3d0598a8d6a34114cacbf930223f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick@luehne.de>
Date: Sat, 2 Nov 2019 07:54:39 +0100
Subject: [PATCH] Add stderr to error output

---
 src/main.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/main.rs b/src/main.rs
index ddfb38b..624f000 100644
--- a/src/main.rs
+++ b/src/main.rs
@@ -93,7 +93,7 @@ fn run_vampire<I, S>(input: &str, arguments: Option<I>)
 		}
 
 		return Err(ask_dracula::Error::new_run_vampire(
-			format!("Vampire returned unsuccessful exit code ({})\n\n======== stderr ========\n{}", output.status, std::str::from_utf8(&output.stdout).unwrap_or("(not valid UTF-8)").trim())));
+			format!("Vampire returned unsuccessful exit code ({})\n\n======== stdout ========\n{}\n\n======== stderr ========\n{}", output.status, std::str::from_utf8(&output.stdout).unwrap_or("(not valid UTF-8)").trim(), std::str::from_utf8(&output.stderr).unwrap_or("(not valid UTF-8)").trim())));
 	}
 
 	let refutation_regex = regex::Regex::new(r"% \(\d+\)Termination reason: Refutation").unwrap();