From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Wed, 24 Apr 2019 18:39:12 +0000 (-0700)
Subject: CONTRIBUTING: Fix project leaders link.
X-Git-Tag: cvc5-1.0.0~4167
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=66a061418ac025024910994a41d6ad0080307daa;p=cvc5.git

CONTRIBUTING: Fix project leaders link.
---

diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index bbcb077b3..f7ce76293 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -50,7 +50,7 @@ By making a contribution to this project, I certify that:
     this project or the open source license(s) involved.
 ```
 
-If you are interested in becoming a long term contributor (for example, a new
-decision procedure implementation) to the CVC4 project, please contact one of
-the [project leaders](#project_leaders).  We'd be happy to point you to some
-internal documentation to help you out.
+If you are interested in becoming a long term contributor to the CVC4 project,
+please contact one of the
+[project leaders](https://cvc4.github.io/people.html#project-leaders).  
+We'd be happy to point you to some internal documentation to help you out.