diff options
Diffstat (limited to 'src/fidentify.c')
| -rw-r--r-- | src/fidentify.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/fidentify.c b/src/fidentify.c index 50036c87..1b3d4dfb 100644 --- a/src/fidentify.c +++ b/src/fidentify.c @@ -201,6 +201,7 @@ static int file_identify(const char *filename, const unsigned int options) (file_check->length==0 || memcmp(buffer + file_check->offset, file_check->value, file_check->length)==0) && file_check->header_check(buffer, blocksize, 0, &file_recovery, &file_recovery_new)!=0) { + /*@ assert valid_file_check_node(file_check); */ /*@ assert valid_file_recovery(&file_recovery_new); */ file_recovery_new.file_stat=file_check->file_stat; break; |