Removed $timescale from "sat" command VCD writer

Signed-off-by: Clifford Wolf <clifford@clifford.at>

diff --git a/passes/sat/sat.cc b/passes/sat/sat.cc
index a6ac7afd4c223f5012f40e01b9ae1de26494fafd..6c0834debcec43aea62190bf57bd04d28b457e38 100644 (file)
--- a/passes/sat/sat.cc
+++ b/passes/sat/sat.cc
@@ -691,7 +691,6 @@ struct SatHelper
                // VCD has some limits on internal (non-display) identifier names, so make legal ones
                std::map<std::string, std::string> vcdnames;
 
-               fprintf(f, "$timescale 1ns\n"); // arbitrary time scale since actual clock period is unknown/unimportant
                fprintf(f, "$scope module %s $end\n", module->name.c_str());
                for (auto &info : modelInfo)
                {