update git repository with license... GPL v2

[model-checker.git] / README

diff --git a/README b/README
index f5ed857bca750a1785bb2b821264279c5d8f2f42..b8ef3f8f73731b9b593c1129b77f876b27f4ef3e 100644 (file)
--- a/README
+++ b/README
@@ -2,7 +2,7 @@
 CDSChecker Readme
 ****************************************
 
-This is an evaluation-only version of CDSChecker. Please do not distribute.
+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