diff --git a/ocaml-menhir.spec b/ocaml-menhir.spec
index e3042de..8314338 100644
--- a/ocaml-menhir.spec
+++ b/ocaml-menhir.spec
@@ -2,7 +2,7 @@
 %global debug_package %{nil}
 %endif
 
-%bcond_without coq
+%bcond_with coq
 
 Name:           ocaml-menhir
 Version:        20200211