Thanks Hasan, I made the update, seems it worked. Kong Susanto On Sun, Aug 3, 2008 at 9:26 AM, Hasan Amjad <[EMAIL PROTECTED]> wrote: > > >> >> 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
