Hi Guido, > You may have run into a problem with the latest version of the GCC > compiler. You can try compiling the current svn trunk,
Thanks, that fixed it! I have gcc (GCC) 6.3.1 20161221 (Red Hat 6.3.1-1) and gecode trunk (rev 15370) seems to work fine now. Best regards, Johannes. _______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users
