From: Brian Norris <banorris@uci.edu>
Date: Fri, 31 May 2013 22:37:30 +0000 (-0700)
Subject: README: add LICENSE note
X-Git-Tag: oopsla2013~5
X-Git-Url: http://demsky.eecs.uci.edu/git/?p=model-checker.git;a=commitdiff_plain;h=39cf60160fae4c59519004440bd49aba714c1edf

README: add LICENSE note
---

diff --git a/README b/README
index 89f9e24..dfcd520 100644
--- a/README
+++ b/README
@@ -4,7 +4,7 @@
 
 Copyright (c) 2013 Regents of the University of California. All rights reserved.
 
-CDSChecker is distributed under the GPL v2.
+CDSChecker is distributed under the GPL v2. See the LICENSE file for details.
 
 This README is divided into sections as follows: