1 files changed, 2 insertions, 2 deletions

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))