[Gecode] INT module is _not_ always there!

[Guido Tack]

Hi.

If you build static gecode libs and you link them with a program that doesn't 
use anything from the int module but only set variables, the vmb WON'T be 
initialized for type VTI_INT! (And I guess we have the same problem with 
dlls, I just didn't check) That's why the optimization in core.icc checked in 
yesterday is a bit premature... Should we just revert to the old version or 
think of something clever?

Guido

-- 
Guido Tack
Programming Systems Lab
http://www.ps.uni-sb.de/~tack