isl_basic_map_eliminate_vars: update number of extra vars after each extension
authorSven Verdoolaege <skimo@kotnet.org>
Sun, 12 Oct 2008 14:10:01 +0000 (16:10 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Tue, 14 Oct 2008 08:22:00 +0000 (10:22 +0200)
commitc2ae02ffff0669857b6c6d1004dc82ba0889289e
tree19a79ebde243cc56a48fd85762b575a4cbec91fa
parent3bc29b5777902ecdcefac73e0f6358dca8dcdcbf
isl_basic_map_eliminate_vars: update number of extra vars after each extension
isl_map.c