Remove unneeded delays in smtbmc vlogtb

diff --git a/backends/smt2/smtbmc.py b/backends/smt2/smtbmc.py
index 8c876c2f410838ab74474b85016d4c3877b7bcc3..adf74703490f65aa582d8527b57aedd8a4ce8279 100644 (file)
--- a/backends/smt2/smtbmc.py
+++ b/backends/smt2/smtbmc.py
@@ -763,7 +763,7 @@ def write_vlogtb_trace(steps_start, steps_stop, index):
             pi_names = [[name] for name, _ in primary_inputs if name not in clock_inputs]
             pi_values = smt.get_net_bin_list(vlogtb_topmod, pi_names, vlogtb_state.replace("@@step_idx@@", str(i)))
 
-            print("    #1;", file=f)
+            print("", file=f)
             print("    // state %d" % i, file=f)
             if i > 0:
                 print("    @(posedge clock);", file=f)