Suggest using bddtrue and bddfalse instead of bdd_true() and

bdd_false().

* src/sanity/style.test: Catch uses of bdd_true() or bdd_false().

ChangeLog

+2010-11-24  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
+
+	Suggest using bddtrue and bddfalse instead of bdd_true() and
+	bdd_false().
+
+	* src/sanity/style.test: Catch uses of bdd_true() or bdd_false().
+
 2010-11-20  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
 
 	Fix some struct/class missmatches reported by clang.

src/sanity/style.test

@@ -171,6 +171,9 @@ for dir in "${INCDIR-..}" "${INCDIR-..}"/../iface; do
       grep 'Sgi::[^h]' $tmp &&
 	diag 'Sgi:: is for hash and hash_map only'
 
+      egrep 'bdd_(false|true)[	]*\(' $tmp &&
+	diag 'Use bddfalse and bddtrue instead of bdd_false() and bdd_true()'
+
       res=`perl -ne '$/ = undef;
 	print "$&\n"
 	while /if \((.*)(\s*==\s*0)?\)\s*delete(\[\])?\s+\1;(?!\s+else)/g' $tmp`