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/CoqupClflags.ml | 6 ------
 1 file changed, 6 deletions(-)
 delete mode 100644 src/CoqupClflags.ml

(limited to 'src/CoqupClflags.ml')

diff --git a/src/CoqupClflags.ml b/src/CoqupClflags.ml
deleted file mode 100644
index ca591de..0000000
--- a/src/CoqupClflags.ml
+++ /dev/null
@@ -1,6 +0,0 @@
-(* 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