add copyright message
[model-checker.git] / README
diff --git a/README b/README
index b8ef3f8..50032b0 100644 (file)
--- 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