[PPL-devel] Polyhedra/src Constraint.cc

[Roberto Bagnara]

CVSROOT:	/usr/local/cvsroot/pma2000
Module name:	Polyhedra
Changes by:	roberto at sandbox.cs.unipr.it	01/09/11 14:18:41

Modified files:
	src            : Constraint.cc 

Log message:
	When writing constraints, write 2*A instead of 2A.
	This does not contribute to conciseness but is necessary in order
	to have other tools (such as Mesnard's cTi and Ciao-Prolog)
	parse the output of China.