From: Brian Norris <banorris@uci.edu>
Date: Wed, 14 Aug 2013 00:08:34 +0000 (-0700)
Subject: README.md: update title
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=78d9862a9e6c7a12b6755853e5dd865eb5e893e8;p=c11tester.git

README.md: update title
---

diff --git a/README.md b/README.md
index e020ad42..20412954 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.