From c6aecd8a930c069b2c9a02e846d80e12a82dc54f Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Mon, 26 Nov 2018 13:45:19 +0100
Subject: Fix ocamldebug-coq for packed gramlib

---
 dev/ocamldebug-coq.run | 1 +
 1 file changed, 1 insertion(+)

(limited to 'dev')

diff --git a/dev/ocamldebug-coq.run b/dev/ocamldebug-coq.run
index 707c7f07ce..c1dcabb743 100644
--- a/dev/ocamldebug-coq.run
+++ b/dev/ocamldebug-coq.run
@@ -17,6 +17,7 @@ exec $OCAMLDEBUG \
     -I +threads \
     -I $COQTOP \
     -I $COQTOP/config -I $COQTOP/printing -I $COQTOP/grammar -I $COQTOP/clib \
+    -I $COQTOP/gramlib__pack \
     -I $COQTOP/lib -I $COQTOP/kernel -I $COQTOP/kernel/byterun \
     -I $COQTOP/library -I $COQTOP/engine \
     -I $COQTOP/pretyping -I $COQTOP/parsing -I $COQTOP/vernac \
-- 
cgit v1.2.3