From 23c4e482cad3aff97391f32b51993b053d6aa4db Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Fri, 12 Feb 2021 14:31:44 +0000
Subject: Add temporary fixes to get everything to compile

---
 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 6ae2856..a4d0bde 100644
--- a/src/extraction/Extraction.v
+++ b/src/extraction/Extraction.v
@@ -185,6 +185,7 @@ Separate Extraction
          RTLBlockgen.transl_program RTLBlockInstr.successors_instr
          HTLgen.tbl_to_case_expr
          Pipeline.pipeline
+         RTLBlockInstr.sat_pred_temp
 
    Compiler.transf_c_program Compiler.transf_cminor_program
    Cexec.do_initial_state Cexec.do_step Cexec.at_final_state
-- 
cgit