diff options
| author | Christophe Grenier <grenier@cgsecurity.org> | 2026-10-03 18:34:10 +0200 |
|---|---|---|
| committer | Christophe Grenier <grenier@cgsecurity.org> | 2026-10-03 18:34:10 +0200 |
| commit | 0aa4bc2b68378bc2bd2e92be3a465f0957e0f026 (patch) | |
| tree | ea7c66dde852b242eac243e51e7e643cef03a711 /src/file_dbf.c | |
| parent | f081bd8c5a679278edc76c06b0102ed8273d4d44 (diff) | |
Diffstat (limited to 'src/file_dbf.c')
| -rw-r--r-- | src/file_dbf.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/file_dbf.c b/src/file_dbf.c index 3ae30227..aaaa2bc7 100644 --- a/src/file_dbf.c +++ b/src/file_dbf.c @@ -63,6 +63,7 @@ static int header_check_dbf(const unsigned char *buffer, const unsigned int buff { reset_file_recovery(file_recovery_new); file_recovery_new->extension=file_hint_dbf.extension; + /*@ assert valid_file_recovery(file_recovery_new); */ return 1; } return 0; |