1 files changed, 1 insertions, 0 deletions
diff --git a/src/hls/HTLgen.v b/src/hls/HTLgen.v
index f1e6b2a..c071868 100644
--- a/src/hls/HTLgen.v
+++ b/src/hls/HTLgen.v
@@ -612,6 +612,7 @@ Definition transf_module (f: function) : mon HTL.module :=
            clk
            current_state.(st_scldecls)
            current_state.(st_arrdecls)
+           None
            (conj (max_pc_wf _ LECTRL) (max_pc_wf _ LEDATA)))
     | _, _ => error (Errors.msg "More than 2^32 states.")
     end