From c10f60ac9e37e5a2c814a41af1d1260d856e57bb Mon Sep 17 00:00:00 2001
From: Jasper Hugunin
Date: Mon, 31 Aug 2020 13:49:56 -0700
Subject: Add zarith to the include path for ocamldebug-coq

---
 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 a11269e059..91cb6168e1 100644
--- a/dev/ocamldebug-coq.run
+++ b/dev/ocamldebug-coq.run
@@ -34,4 +34,5 @@ exec $OCAMLDEBUG \
     -I $COQTOP/plugins/subtac     -I $COQTOP/plugins/syntax \
     -I $COQTOP/plugins/xml        -I $COQTOP/plugins/ltac \
     -I $COQTOP/ide \
+    $(ocamlfind query -recursive -i-format zarith) \
     "$@"
-- 
cgit v1.2.3