From 997b768ac8fa7f5f741671d9e4c00b9ea8f0680c Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Tue, 16 Feb 2021 19:57:08 +0000
Subject: Add option to turn off if-conversion

---
 src/VericertClflags.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/VericertClflags.ml')

diff --git a/src/VericertClflags.ml b/src/VericertClflags.ml
index 26b4053..534962b 100644
--- a/src/VericertClflags.ml
+++ b/src/VericertClflags.ml
@@ -6,3 +6,4 @@ let option_initial = ref false
 let option_dhtl = ref false
 let option_drtlblock = ref false
 let option_hls_schedule = ref false
+let option_fif_conv = ref false
-- 
cgit