From: Clifford Wolf <clifford@clifford.at>
Date: Sun, 16 Oct 2016 21:02:51 +0000 (+0200)
Subject: cleanup in write_smt2 log messages (-bv and -mem are now default)
X-Git-Tag: yosys-0.7~22
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=189fbd4cf8a22f26d5fd8bcdf16e587379343993;p=yosys.git

cleanup in write_smt2 log messages (-bv and -mem are now default)
---

diff --git a/backends/smt2/smt2.cc b/backends/smt2/smt2.cc
index 6bcd1f452..ddac69009 100644
--- a/backends/smt2/smt2.cc
+++ b/backends/smt2/smt2.cc
@@ -586,7 +586,7 @@ struct Smt2Worker
 			return;
 		}
 
-		log_error("Unsupported cell type %s for cell %s.%s. (Maybe this cell type would be supported in -bv or -mem mode?)\n",
+		log_error("Unsupported cell type %s for cell %s.%s.\n",
 				log_id(cell->type), log_id(module), log_id(cell));
 	}