From 189fbd4cf8a22f26d5fd8bcdf16e587379343993 Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Sun, 16 Oct 2016 23:02:51 +0200 Subject: [PATCH] cleanup in write_smt2 log messages (-bv and -mem are now default) --- backends/smt2/smt2.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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)); } -- 2.30.2