diff --git a/README b/README
index 074abd2a3..d7f441d64 100644
--- a/README
+++ b/README
@@ -1,6 +1,5 @@
 Z3 is a theorem prover from Microsoft Research.
-Z3 is licensed under MSR-LA (Microsoft Research License Agreement). 
-See http://z3.codeplex.com/license for more information about this license.
+Z3 is licensed under the MIT license. 
 Z3 can be built using Visual Studio Command Prompt and make/g++.
 
 1) Building Z3 on Windows using Visual Studio Command Prompt
@@ -42,4 +41,4 @@ Remark: clang does not support OpenMP yet.
    make
 
 
-To clean Z3 you can delete the build directory and run the mk_make.py script again.
\ No newline at end of file
+To clean Z3 you can delete the build directory and run the mk_make.py script again.