1 files changed, 1 insertions, 0 deletions

diff --git a/ide/dune b/ide/dune
index a599be9351..12bad7ebc4 100644
--- a/ide/dune
+++ b/ide/dune
@@ -48,6 +48,7 @@
  (package coqide)
  (optional)
  (modules coqide_main)
+ (modes exe byte)
  (libraries coqide_gui))
 
 ; Input-method bindings