Typo in LICENSE file.

dra27 · May 25, 2017 · ac352b4 · ac352b4
1 parent 6cec875
commit ac352b4
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/LICENSE b/LICENSE
@@ -9,8 +9,8 @@ produce an executable file containing portions of the Num library, and
 distribute that executable file under terms of your choice, without
 any of the additional requirements listed in clause 6 of the GNU
 Lesser General Public License.  By "a publicly distributed version of
-the Num library", we mean either the unmodified Num library Core
-System as distributed by INRIA, or a modified version of the Num
+the Num library", we mean either the unmodified Num library
+available from https://github/com/ocaml/num, or a modified version of the Num
 library that is distributed under the conditions defined in clause 2
 of the GNU Lesser General Public License.  This exception does not
 however invalidate any other reasons why the executable file might be