From 78d9862a9e6c7a12b6755853e5dd865eb5e893e8 Mon Sep 17 00:00:00 2001
From: Brian Norris <banorris@uci.edu>
Date: Tue, 13 Aug 2013 17:08:34 -0700
Subject: [PATCH] README.md: update title

---
 README.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index e020ad4..2041295 100644
--- a/README.md
+++ b/README.md
@@ -1,5 +1,5 @@
-CDSChecker Readme
-=================
+CDSChecker: A Model Checker for C11 and C++11 Atomics
+=====================================================
 
 Copyright &copy; 2013 Regents of the University of California. All rights reserved.
 
-- 
2.34.1