From 3b16cfbd4449bb5fd3becb527d4545ef98757e09 Mon Sep 17 00:00:00 2001
From: NikolajBjorner <nbjorner@microsoft.com>
Date: Thu, 26 Mar 2015 11:31:34 -0700
Subject: [PATCH] Update README

change reference to license
---
 README | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

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.