isl_pw_qpolynomial_sum: reuse barvinok_options if available in context
commitbf2eed0e2335aa6e28e60d349e748e1e9d8fb7c2
authorSven Verdoolaege <skimo@kotnet.org>
Thu, 26 Aug 2010 14:44:38 +0000 (26 16:44 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Thu, 26 Aug 2010 15:48:50 +0000 (26 17:48 +0200)
tree85a071867237e749cc0595177f2a431e119049bc
parentfc2f87e947e3fc79cd8e21ce67b1117607174e64
isl_pw_qpolynomial_sum: reuse barvinok_options if available in context

This allows barvinok options to be set on the iscc command line.
summate.c