From f26f3887d0b0ac286c317a5425a3a4781871cfc2 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Tue, 30 Jun 2020 12:34:35 +0100
Subject: Add command line flags for initial block

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

(limited to 'src/CoqupClflags.ml')

diff --git a/src/CoqupClflags.ml b/src/CoqupClflags.ml
new file mode 100644
index 0000000..83dd31d
--- /dev/null
+++ b/src/CoqupClflags.ml
@@ -0,0 +1,5 @@
+(* Coqup flags *)
+let option_simulate = ref false
+let option_hls = ref true
+let option_debug_hls = ref false
+let option_initial = ref false
-- 
cgit