Remove debug prints from yosys-smtbmc VCD writer

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

diff --git a/backends/smt2/smtio.py b/backends/smt2/smtio.py
index fed4524ce034fb632d13c60fa12d091ba63fbb06..1d5c89d8e821caed7b665d8ddbc30b9f0abdfde4 100644 (file)
--- a/backends/smt2/smtio.py
+++ b/backends/smt2/smtio.py
@@ -984,12 +984,10 @@ class MkVcd:
                     while uipath[:len(scope)] != scope[:-1]:
                         print("$upscope $end", file=self.f)
                         scope = scope[:-1]
-                        print(scope, file=self.f)
 
                     while uipath[:-1] != scope:
                         print("$scope module %s $end" % uipath[len(scope)], file=self.f)
                         scope.append(uipath[len(scope)])
-                        print(scope, file=self.f)
 
                     if path in self.clocks and self.clocks[path][1] == "event":
                         print("$var event 1 %s %s $end" % (key, uipath[-1]), file=self.f)