From 437a69b258581f779ff2fc7273d11f0bd705f275 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 | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/README b/README
index ad136e5f6..f07f88ebd 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