From 6d20e4c136fb2726ec8577bdfee051ecacdf8261 Mon Sep 17 00:00:00 2001
From: Yves Bertot <yves.bertot@inria.fr>
Date: Wed, 28 Sep 2016 16:24:51 +0200
Subject: fix bug 3683 : adds references to the web site for the bug tracker in
 error messages

---
 config/coq_config.mli | 1 +
 1 file changed, 1 insertion(+)

(limited to 'config')

diff --git a/config/coq_config.mli b/config/coq_config.mli
index a0e1019fa..6087c0116 100644
--- a/config/coq_config.mli
+++ b/config/coq_config.mli
@@ -62,6 +62,7 @@ val natdynlinkflag : string (* special cases of natdynlink (e.g. MacOS 10.5) *)
 
 val wwwcoq : string
 val wwwrefman : string
+val wwwbugtracker : string
 val wwwstdlib : string
 val localwwwrefman : string
 
-- 
cgit v1.2.3