summate.c: add_basic_guarded_qp: use proper parameter space
commitc699f0c5231797217ff0b830608931a6b2b83641
authorSven Verdoolaege <skimo@kotnet.org>
Mon, 7 Nov 2016 10:54:38 +0000 (7 11:54 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Tue, 7 Feb 2017 16:08:34 +0000 (7 17:08 +0100)
tree9db77bf86e58d71305aa2a4ce1912235b59a5ba8
parenta5ea26ed83a8924083a8985b780bfbc7c0f0b356
summate.c: add_basic_guarded_qp: use proper parameter space

In particular, the result was being constructed with as domain
a zero-dimensional set rather than a parameter set.
This inappropriate domain space has little effect because
the space is reset immediately afterwards for handling
inputs with wrapped domains, but it is less confusing to use
the correct space.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
summate.c