From 975a5fb0c11af6e8db3f250322794c0712f4af90 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Mon, 1 Mar 2021 11:05:12 +0000
Subject: Change lists in case statements to stmnt_list

---
 src/extraction/Extraction.v | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/extraction')

diff --git a/src/extraction/Extraction.v b/src/extraction/Extraction.v
index 8aec96e..7d6e57c 100644
--- a/src/extraction/Extraction.v
+++ b/src/extraction/Extraction.v
@@ -190,6 +190,7 @@ Separate Extraction
          HTLgen.tbl_to_case_expr
          Pipeline.pipeline
          RTLBlockInstr.sat_pred_temp
+         Verilog.stmnt_to_list
 
    Compiler.transf_c_program Compiler.transf_cminor_program
    Cexec.do_initial_state Cexec.do_step Cexec.at_final_state
-- 
cgit