* src/sanity/includes.test: Also check *.hxx files.

* src/tgbaalgos/ndfs_result.hxx: Rename the include guard.

src/sanity/includes.test

@@ -6,8 +6,9 @@ set -e
 
 rm -f failures
 
-for file in `find "$INCDIR" -name "${1-*}.hh" -type f -print |
-             sed "s,$INCDIR/,,g"`; do
+for file in `find "$INCDIR" \( -name "${1-*}.hh" \
+                               -o -name "${1-*}.hxx" \) \
+                  -a -type f -a -print | sed "s,$INCDIR/,,g"`; do
 
    b=`echo "$file" | tr '[/.a-z]' '[__A-Z]'`
    if grep "[	 ]*#.*def.* SPOT_$b\$" "$INCDIR/$file" >/dev/null; then