From 1f2a30ddc8f38f3f45d62d169b766c0c38364ecd Mon Sep 17 00:00:00 2001
From: Brian Norris <banorris@uci.edu>
Date: Thu, 15 Aug 2013 12:04:59 -0700
Subject: [PATCH] README.md: use HTML URL, not PHP

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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:
 
-- 
2.34.1