From cf868740c3d18ee9ce9a6b38dd617784625a3cae Mon Sep 17 00:00:00 2001
From: Jim Fehrle
Date: Wed, 9 Jan 2019 15:32:52 -0800
Subject: Introduce doc_gram, a utilty for extracting Coq's grammar from .mlg
 files and inserting it into the .rst files

---
 coqpp/dune | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'coqpp/dune')

diff --git a/coqpp/dune b/coqpp/dune
index a6edf4cf5b..12071c7c05 100644
--- a/coqpp/dune
+++ b/coqpp/dune
@@ -5,5 +5,5 @@
  (name coqpp_main)
  (public_name coqpp)
  (package coq)
- (modules coqpp_ast coqpp_lex coqpp_parse coqpp_main)
+ (modules coqpp_ast coqpp_lex coqpp_parse coqpp_parser coqpp_main)
  (modules_without_implementation coqpp_ast))
-- 
cgit v1.2.3