X-Git-Url: http://review.tizen.org/git/?a=blobdiff_plain;f=polyhedron_minimize.c;h=bb9dabe19e50318e9f4ace407d45391b3e6e1cb1;hb=22d1388ec98ff19a5866aa12bd5180d181b6e38f;hp=94fe7f51c720116b604c64772024cef615ac57c1;hpb=41664cabbbca0d3bb3bec0fb2162c43322b56b13;p=platform%2Fupstream%2Fisl.git diff --git a/polyhedron_minimize.c b/polyhedron_minimize.c index 94fe7f5..bb9dabe 100644 --- a/polyhedron_minimize.c +++ b/polyhedron_minimize.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 @@ -65,9 +65,9 @@ int main(int argc, char **argv) isl_printer *p; isl_int_init(opt); - bset = isl_basic_set_read_from_file(ctx, stdin, 0); + bset = isl_basic_set_read_from_file(ctx, stdin); assert(bset); - obj = isl_vec_read_from_file(ctx, stdin, ISL_FORMAT_POLYLIB); + obj = isl_vec_read_from_file(ctx, stdin); assert(obj); dim = isl_basic_set_total_dim(bset); assert(obj->size >= dim && obj->size <= dim + 1);