gen_fun::add: context of sum should be union of contexts of the terms
commit510db58fc164e0dec6946e5d968f97eacd7e335f
authorSven Verdoolaege <skimo@kotnet.org>
Tue, 16 Oct 2007 14:24:40 +0000 (16 16:24 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Thu, 25 Oct 2007 16:25:22 +0000 (25 18:25 +0200)
tree4a7657a00a2a283ea4f23681688b3348ad0312eb
parenta49c6a32245acc6f42bc72064df81c552cae5464
gen_fun::add: context of sum should be union of contexts of the terms
4coins.cc
barvinok/genfun.h
genfun.cc
scarf.cc