isl_map_simplify.c: check_for_div_constraints: also check for "better" ones

[platform/upstream/isl.git] / isl_gmp.c

diff --git a/isl_gmp.c b/isl_gmp.c
index 0c8db59..94119b6 100644 (file)
--- a/isl_gmp.c
+++ b/isl_gmp.c
@@ -1,7 +1,7 @@
 /*
  * Copyright 2008-2009 Katholieke Universiteit Leuven
  *
- * Use of this software is governed by the GNU LGPLv2.1 license
+ * Use of this software is governed by the MIT license
  *
  * Written by Sven Verdoolaege, K.U.Leuven, Departement
  * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium