Improved an error message

diff --git a/passes/sat/sat.cc b/passes/sat/sat.cc
index 468b49fd7962e3217eaddfbfc70e6326b79a0c40..1aae421f0bb04949765c6121cf85d5819e51b642 100644 (file)
--- 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");