From 4ec8bb56b9cba0978d909b30fc04a251a04a2dee Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Fri, 29 May 2020 17:43:02 +0200 Subject: [PATCH] Improve error message --- src/error.rs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/error.rs b/src/error.rs index d7e374f..c3f971c 100644 --- a/src/error.rs +++ b/src/error.rs @@ -276,8 +276,8 @@ impl std::fmt::Debug for Error predicate_declaration.declaration, predicate_declaration.declaration), Kind::PrivatePredicateInSpecification(ref predicate_declaration) => write!(formatter, - "private predicate {} should not occur in specification (consider declaring it an input or output predicate)", - predicate_declaration.declaration), + "private predicate {} should not occur in specification (consider declaring {} an input or output predicate)", + predicate_declaration.declaration, predicate_declaration.declaration), Kind::RunVampire => write!(formatter, "could not run Vampire"), Kind::ProveProgram(exit_code, ref stdout, ref stderr) => {