> > reorder.c: In function 'bdd_reorder_auto': > reorder.c:1629: warning: the address of 'bdd_reorder_ready' will > always evaluate as 'true' > ar: creating libbdd.a >
Looks like that source line should read if (!bdd_reorder_ready()) rather than if (!bdd_reorder_ready) but, I am not a C hacker. You can ignore this warning unless you want to use MuDDy with dynamic reordering (it is disabled by default IIRC). Nothing in HOL/src uses MuDDy. Cheers, Hasan ------------------------------------------------------------------------- This SF.Net email is sponsored by the Moblin Your Move Developer's challenge Build the coolest Linux based applications with Moblin SDK & win great prizes Grand prize is a trip for two to an Open Source event anywhere in the world http://moblin-contest.org/redirect.php?banner_id=100&url=/ _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
