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/dune | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'debug/dune')

diff --git a/debug/dune b/debug/dune
index 7f0c6a6..feee97c 100644
--- a/debug/dune
+++ b/debug/dune
@@ -1,5 +1,5 @@
 (include_subdirs no)
 
 (executable
- (name CoqupTest)
- (libraries coqup))
+ (name VericertTest)
+ (libraries vericert))
-- 
cgit