X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=blobdiff_plain;f=README.md;fp=README.md;h=ba64e188ddbc956c0a941d83687ebc171c9bec1c;hp=8d70bf07bbd29db8250c674d6dbd1f21d7b24773;hb=1f2a30ddc8f38f3f45d62d169b766c0c38364ecd;hpb=2935d5ce8b7315c0b13306b15ac18beeacfc37bb

diff --git a/README.md b/README.md
index 8d70bf0..ba64e18 100644
--- a/README.md
+++ b/README.md
@@ -376,7 +376,7 @@ See Also
 
 The CDSChecker project page:
 
->   <http://demsky.eecs.uci.edu/c11modelchecker.php>
+>   <http://demsky.eecs.uci.edu/c11modelchecker.html>
 
 The CDSChecker source and accompanying benchmarks on Gitweb: