X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=blobdiff_plain;f=README;h=50032b09b635d68bb3e3a6dbc4bfc3e6ad5b2e1f;hp=f5ed857bca750a1785bb2b821264279c5d8f2f42;hb=99d6712ba5650460a527c144cbc814bbe209bb4c;hpb=11da849ab540fbcec939797a0c5ef17d651829e7

diff --git a/README b/README
index f5ed857..50032b0 100644
--- a/README
+++ b/README
@@ -2,7 +2,9 @@
 CDSChecker Readme
 ****************************************
 
-This is an evaluation-only version of CDSChecker. Please do not distribute.
+Copyright (c) 2013 Regents of the University of California. All rights reserved.
+
+CDSChecker is distributed under the GPL v2.
 
 CDSChecker compiles as a dynamically-linked shared library by simply running
 'make'. It should compile on Linux and Mac OSX, and has been tested with LLVM