From 3bf981236ad520c254b8e3ae82d85b2a335729ca Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick@luehne.de>
Date: Tue, 19 May 2020 12:18:11 +0200
Subject: [PATCH] Only warn if private predicates are used in specification

---
 src/commands/verify_program.rs | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

diff --git a/src/commands/verify_program.rs b/src/commands/verify_program.rs
index f6aece4..1bc4710 100644
--- a/src/commands/verify_program.rs
+++ b/src/commands/verify_program.rs
@@ -47,11 +47,7 @@ where
 	match problem.check_that_only_input_and_output_predicates_are_used()
 	{
 		Ok(_) => (),
-		Err(error) =>
-		{
-			log::error!("{}", error);
-			std::process::exit(1)
-		}
+		Err(error) => log::warn!("{}", error),
 	}
 
 	match problem.restrict_to_output_predicates()