diff options
| author | Christophe Grenier <[email protected]> | 2023-10-08 14:39:46 +0200 |
|---|---|---|
| committer | Christophe Grenier <[email protected]> | 2023-10-08 14:39:46 +0200 |
| commit | 73411e2f6d636b31430fb080ab3a89adb1ae1385 (patch) | |
| tree | dae270b8453a31c573d2897c8220483d1b6f2470 /src/file_hdf5.c | |
| parent | aec0be9edb9ff8dea57a5db9d5e90a6609fd5e2a (diff) | |
src/file_hdf5.c: fix ifdef
Diffstat (limited to 'src/file_hdf5.c')
| -rw-r--r-- | src/file_hdf5.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/file_hdf5.c b/src/file_hdf5.c index 4a8809b9..43840345 100644 --- a/src/file_hdf5.c +++ b/src/file_hdf5.c @@ -20,7 +20,7 @@ */ -#if !defined(SINGLE_FORMAT) || defined(SINGLE_FORMAT_hdf) +#if !defined(SINGLE_FORMAT) || defined(SINGLE_FORMAT_hdf5) #ifdef HAVE_CONFIG_H #include <config.h> #endif @@ -66,6 +66,7 @@ struct hdf5_superblock static int header_check_hdf5(const unsigned char *buffer, const unsigned int buffer_size, const unsigned int safe_header_only, const file_recovery_t *file_recovery, file_recovery_t *file_recovery_new) { const struct hdf5_superblock *sb=(const struct hdf5_superblock*)&buffer[0]; + /*@ assert \valid_read(sb); */ if(sb->version > 2) return 0; reset_file_recovery(file_recovery_new); |