summaryrefslogtreecommitdiffstats
path: root/src/file_wdp.c
diff options
context:
space:
mode:
authorChristophe Grenier <grenier@cgsecurity.org>2019-10-24 19:04:06 +0200
committerChristophe Grenier <grenier@cgsecurity.org>2019-10-24 19:04:06 +0200
commit990e81e4d9269fdac3c4768878256b576ca3d203 (patch)
tree9f9c490f861de03e4d244b863bbedda18a5aa445 /src/file_wdp.c
parent2b90bb8947809de472ecc37fa79f895af2f0435b (diff)
file_tiff: make the code more frama-c friendly
Diffstat (limited to 'src/file_wdp.c')
-rw-r--r--src/file_wdp.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/file_wdp.c b/src/file_wdp.c
index 7948cc6..f70dd56 100644
--- a/src/file_wdp.c
+++ b/src/file_wdp.c
@@ -52,7 +52,7 @@ static int header_check_wdp(const unsigned char *buffer, const unsigned int buff
reset_file_recovery(file_recovery_new);
file_recovery_new->extension="wdp";
file_recovery_new->time=get_date_from_tiff_header((const TIFFHeader *)buffer, buffer_size);
- file_recovery_new->file_check=&file_check_tiff;
+ file_recovery_new->file_check=&file_check_tiff_le;
return 1;
}