From e635816345473e8180709a2b35689ebb8574c760 Mon Sep 17 00:00:00 2001
From: Jerry James <loganjerry@gmail.com>
Date: Thu, 6 Aug 2020 08:58:57 -0600
Subject: [PATCH] Bootstrap build without coq support.

---
 ocaml-menhir.spec | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ocaml-menhir.spec b/ocaml-menhir.spec
index 41ab11d..0dc6cdf 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:        20200624