-
Guillaume Melquiond authored
Avoid lazy variables in the Gappa printer, as it might happen that two tasks do not share the same environment. See http://lists.gforge.inria.fr/pipermail/why3-commits/2011-April/000053.html for details. There are still global references to unary minus symbols, but they are now refreshed each time.
d26cadfb