From 9ebf803cbe6cd3329da1908bbf0763baaabcc48f Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Wed, 28 Jan 2015 00:46:00 +0100 Subject: [PATCH] Improved an error message --- passes/sat/sat.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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");