From 5cc780e10afa2851980fd3157644cccb1f528b1c Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Fri, 23 Oct 2020 13:25:32 +0100
Subject: Add printing of intermediate rtlblock language

---
 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 ca591de..cbee31b 100644
--- a/src/VericertClflags.ml
+++ b/src/VericertClflags.ml
@@ -4,3 +4,4 @@ let option_hls = ref true
 let option_debug_hls = ref false
 let option_initial = ref false
 let option_dhtl = ref false
+let option_drtlblock = ref false
-- 
cgit