2 files changed, 3 insertions, 3 deletions
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
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))