alanpae@ilkda.com wrote:

As requested.

[C_Polyhedron.ii.bz2 attachment] Some header file different from reg.h is defining the macro CS to 15. You should discover which one is doing that. Good luck, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it