From 26de52fa094f90d5ce7a2766df5a53e6188b4d13 Mon Sep 17 00:00:00 2001
From: Miodrag Milanovic <mmicko@gmail.com>
Date: Mon, 31 Jan 2022 12:00:15 +0100
Subject: [PATCH] Cleanup

---
 kernel/fstdata.cc | 1 -
 passes/sat/sim.cc | 4 ++--
 2 files changed, 2 insertions(+), 3 deletions(-)

diff --git a/kernel/fstdata.cc b/kernel/fstdata.cc
index a7a2c80f7..17498c4ee 100644
--- a/kernel/fstdata.cc
+++ b/kernel/fstdata.cc
@@ -43,7 +43,6 @@ FstData::FstData(std::string filename) : ctx(nullptr)
 		}
 	}
 	for (int i=0;i<zeros; i++) timescale_str += "0";
-	if (zeros>0)timescale_str += " ";
 	timescale_str += g_units[unit];
 	extractVarNames();
 }
diff --git a/passes/sat/sim.cc b/passes/sat/sim.cc
index e6de1b134..f08a3eb1f 100644
--- a/passes/sat/sim.cc
+++ b/passes/sat/sim.cc
@@ -1021,7 +1021,7 @@ struct SimWorker : SimShared
 			edges.erase(edges.begin() + (numcycles*2), edges.end());
 
 		if ((startCount == stopCount) && writeback) {
-			log("Update initial state with values from %zu\n",startCount);
+			log("Update initial state with values from [%zu%s]\n", startCount, fst->getTimescaleString());
 			if (edges.empty())
 				edges.push_back(startCount);
 			fst->reconstructAllAtTimes(edges);
@@ -1035,7 +1035,7 @@ struct SimWorker : SimShared
 			bool initial = false;
 			int cycle = 0;
 			for(auto &time : edges) {
-				log("Co-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));