From 7377e0bccf8bafcb4f3c4dcf108e51cdb3faa7de Mon Sep 17 00:00:00 2001
From: Emina Torlak <emina@alum.mit.edu>
Date: Sun, 13 Sep 2015 09:57:34 -0700
Subject: [PATCH] Fix broken link.

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

diff --git a/README.md b/README.md
index 005cb31..a0993df 100644
--- a/README.md
+++ b/README.md
@@ -4,4 +4,4 @@ MiniSat-p v1.14
 This is a patched and slightly extended version of the MiniSat v1.14 solver 
 with proof logging.  The original source code, by Niklas Een and 
 Niklas Sörensson, is [available](http://minisat.se/downloads/MiniSat-p_v1.14.2006-Sep-07.src.zip) 
-at the [MiniSat page](www.cs.chalmers.se/Cs/Research/FormalMethods/MiniSat/).
+at the [MiniSat page](http://minisat.se/).