From a48815d4f43ea6403a4927f9e0f63dde620d4569 Mon Sep 17 00:00:00 2001 From: Christophe Grenier Date: Mon, 30 Dec 2019 08:16:57 +0100 Subject: [PATCH] src/file_txt.c: remove some commented lines --- src/file_txt.c | 13 ------------- 1 file changed, 13 deletions(-) diff --git a/src/file_txt.c b/src/file_txt.c index 88d0dd91..d009e1e0 100644 --- a/src/file_txt.c +++ b/src/file_txt.c @@ -508,8 +508,6 @@ return ind/buffer_size/(buffer_size-1); @ requires \valid_read(buffer + (0..buf_len-1)); @ ensures \result <= buf_len; @*/ -#if 0 -#endif static int UTF2Lat(unsigned char *buffer_lower, const unsigned char *buffer, const int buf_len) { const unsigned char *p; /* pointers to actual position in source buffer */ @@ -3390,17 +3388,6 @@ static int main_thunderbird() /*@ assert file_recovery.file_stat == \null; */ file_recovery.blocksize=BLOCKSIZE; file_recovery_new.blocksize=BLOCKSIZE; -#if 0 - file_recovery_new.data_check=NULL; - file_recovery_new.extension=NULL; - file_recovery_new.file_stat=NULL; - file_recovery_new.file_check=NULL; - file_recovery_new.file_rename=NULL; - file_recovery_new.calculated_file_size=0; - file_recovery_new.file_size=0; - file_recovery_new.location.start=0; -#endif - file_stats.file_hint=&file_hint_fasttxt; file_stats.not_recovered=0; file_stats.recovered=0;