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

---
 debug/CoqupTest.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'debug/CoqupTest.ml')

diff --git a/debug/CoqupTest.ml b/debug/CoqupTest.ml
index f961f64..2fe1389 100644
--- a/debug/CoqupTest.ml
+++ b/debug/CoqupTest.ml
@@ -1,4 +1,4 @@
-open Coqup
+open Vericert
 
 open Test
 open Camlcoq
-- 
cgit