From: Clifford Wolf <clifford@clifford.at>
Date: Tue, 27 Jan 2015 23:46:00 +0000 (+0100)
Subject: Improved an error message
X-Git-Tag: yosys-0.5~57
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=9ebf803cbe6cd3329da1908bbf0763baaabcc48f;p=yosys.git

Improved an error message
---

diff --git a/passes/sat/sat.cc b/passes/sat/sat.cc
index 468b49fd7..1aae421f0 100644
--- a/passes/sat/sat.cc
+++ b/passes/sat/sat.cc
@@ -1166,7 +1166,7 @@ struct SatPass : public Pass {
 			log_cmd_error("Got -tempinduct but nothing to prove!\n");
 
 		if (prove_skip && tempinduct)
-			log_cmd_error("Options -prove-skip and -tempinduct don't work with each other.\n");
+			log_cmd_error("Options -prove-skip and -tempinduct don't work with each other. Use -seq instead of -prove-skip.\n");
 
 		if (prove_skip >= seq_len && prove_skip > 0)
 			log_cmd_error("The value of -prove-skip must be smaller than the one of -seq.\n");