diff --git a/ChangeLog b/ChangeLog index 9bd3d6a85..0e1d4336f 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,7 @@ +2004-06-22 Alexandre Duret-Lutz + + * src/sanity/style.test: Typo. + 2004-06-22 Thomas Martinez * src/tgbatest/ltl2tgba.cc, src/tgbaalgos/reductgba_sim_del.cc, diff --git a/src/sanity/style.test b/src/sanity/style.test index 90114a699..e1d41cbbe 100755 --- a/src/sanity/style.test +++ b/src/sanity/style.test @@ -111,7 +111,7 @@ for dir in "${INCDIR-..}" "${INCDIR-..}"/../iface; do diag 'No useless parentheses after delete.' grep -e 'return[ ]*[(][^(]*[)];' $tmp && - diag 'No useless parentheses after delete.' + diag 'No useless parentheses after return.' grep 'NULL' $tmp && diag 'Use 0 instead of NULL. NULL is not portable.'