1 files changed, 0 insertions, 7 deletions
diff --git a/tools/dune b/tools/dune
index 31b70fb06c..204bd09535 100644
--- a/tools/dune
+++ b/tools/dune
@@ -16,13 +16,6 @@
  (libraries coq.lib))
 
 (executable
- (name coqc)
- (public_name coqc)
- (package coq)
- (modules coqc)
- (libraries coq.toplevel))
-
-(executable
  (name coqworkmgr)
  (public_name coqworkmgr)
  (package coq)