From 5cf10a4c70763cbb95747b19ac35b57a9dee4dd5 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Fri, 24 Jul 2020 10:22:13 +0100
Subject: More renames to get it to compile

---
 src/VericertClflags.ml | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 src/VericertClflags.ml

(limited to 'src/VericertClflags.ml')

diff --git a/src/VericertClflags.ml b/src/VericertClflags.ml
new file mode 100644
index 0000000..ca591de
--- /dev/null
+++ b/src/VericertClflags.ml
@@ -0,0 +1,6 @@
+(* Vericert flags *)
+let option_simulate = ref false
+let option_hls = ref true
+let option_debug_hls = ref false
+let option_initial = ref false
+let option_dhtl = ref false
-- 
cgit