1 files changed, 1 insertions, 0 deletions
diff --git a/checker/dune b/checker/dune
index 73cbbc8d19..af7d4f2923 100644
--- a/checker/dune
+++ b/checker/dune
@@ -12,6 +12,7 @@
 (executable
  (name coqchk)
  (public_name coqchk)
+ (modes exe byte)
  (package coq)
  (modules coqchk)
  (flags :standard -open Coq_checklib)