From 450bda69837b02c20d2fb391bbe7827d1becaac4 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Tue, 14 Jul 2020 16:08:58 +0100
Subject: Change name to Vericert

---
 src/CoqupClflags.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/CoqupClflags.ml')

diff --git a/src/CoqupClflags.ml b/src/CoqupClflags.ml
index 5b40ce6..ca591de 100644
--- a/src/CoqupClflags.ml
+++ b/src/CoqupClflags.ml
@@ -1,4 +1,4 @@
-(* Coqup flags *)
+(* Vericert flags *)
 let option_simulate = ref false
 let option_hls = ref true
 let option_debug_hls = ref false
-- 
cgit