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;