* src/bddio.c (bdd_load): Check the return value of fscanf() to
kill a warning.