diff --git a/backends/smt2/smtbmc.py b/backends/smt2/smtbmc.py
index d17bad3fb..31e814f90 100644
--- a/backends/smt2/smtbmc.py
+++ b/backends/smt2/smtbmc.py
@@ -1161,7 +1161,6 @@ def write_vlogtb_trace(steps, index):
         print("  initial genclock = 1;", file=f)
         print("`endif", file=f)
 
-        print("  reg genclock = 1;", file=f)
         print("  reg [31:0] cycle = 0;", file=f)
 
         primary_inputs = list()