X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=README;h=50032b09b635d68bb3e3a6dbc4bfc3e6ad5b2e1f;hb=3a4e118d45bf83a3b4c3a0a73d1071fa8fe5476d;hp=b8ef3f8f73731b9b593c1129b77f876b27f4ef3e;hpb=bee1e27429b9a66e414eb83cf14e2089dd40a79e;p=model-checker.git

diff --git a/README b/README
index b8ef3f8..50032b0 100644
--- a/README
+++ b/README
@@ -2,6 +2,8 @@
 CDSChecker Readme
 ****************************************
 
+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