message update

diff --git a/passes/sat/sim.cc b/passes/sat/sim.cc
index 05fe112012d959fa78160f9a6c975a5e35ee22b1..e6de1b134bc4bb422055f58a678c54c950309485 100644 (file)
--- a/passes/sat/sim.cc
+++ b/passes/sat/sim.cc
@@ -1035,7 +1035,7 @@ struct SimWorker : SimShared
                        bool initial = false;
                        int cycle = 0;
                        for(auto &time : edges) {
-                               log("Simulating cycle %d [%zu %s].\n", cycle+1, time, fst->getTimescaleString());
+                               log("Co-simulating cycle %d [%zu %s].\n", cycle+1, time, fst->getTimescaleString());
                                for(auto &item : inputs) {
                                        std::string v = fst->valueAt(item.second, time);
                                        top->set_state(item.first, Const::from_string(v));