From 2e9366d3a9044742f41d254bedfa72b60a217551 Mon Sep 17 00:00:00 2001
From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Mon, 21 Aug 2017 10:06:02 -0700
Subject: Change Bugzilla urls to Github issues.

---
 src/proof/proof.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/proof')

diff --git a/src/proof/proof.h b/src/proof/proof.h
index cb769495b..c43acb6bf 100644
--- a/src/proof/proof.h
+++ b/src/proof/proof.h
@@ -36,7 +36,7 @@
  * This forces the inclusion of "cvc4_private.h". This is intentional!
  *
  * See bug 688 for more details:
- * http://cvc4.cs.nyu.edu/bugs/show_bug.cgi?id=688
+ * https://github.com/CVC4/CVC4/issues/907
  *
  * If you want to check CVC4_PROOF, you should have a very good reason
  * and should list the exceptions here:
-- 
cgit v1.2.3