Guido Tack <[EMAIL PROTECTED]> writes: > Otherwise, the post statement returns a BoolVar that is constrained to > the truth value of the equivalence. Unfortunately, gcc doesn't warn > about the ignored return value (I don't know about Microsoft cl)!
you can ask gcc to warn on ignored return values by adding: __attribute__ ((warn_unused_result)) to the function's prototype. Cheers, --Denys _______________________________________________ Gecode users mailing list [EMAIL PROTECTED] https://www.gecode.org/mailman/listinfo/gecode-users