This commit is contained in:
Christophe Grenier 2021-05-12 16:19:44 +02:00
parent 3512538595
commit 6d51ce0e8c
2 changed files with 2 additions and 2 deletions

View file

@ -6,7 +6,7 @@ AC_INIT([testdisk],[7.2-WIP],[grenier@cgsecurity.org])
AC_LANG(C)
sinclude(acx_pthread.m4)
sinclude(mkdir.m4)
TESTDISKDATE="April 2021"
TESTDISKDATE="May 2021"
AC_SUBST(TESTDISKDATE)
AC_DEFINE_UNQUOTED([TESTDISKDATE],"$TESTDISKDATE",[Date of release])
AC_CONFIG_AUX_DIR(config)

View file

@ -316,7 +316,7 @@ typedef enum errcode_type errcode_type_t;
typedef struct param_disk_struct disk_t;
typedef struct partition_struct partition_t;
/*@
predicate valid_partition(partition_t *part) = (\valid_read(part)));
predicate valid_partition(partition_t *part) = (\valid_read(part));
@*/
typedef struct CHS_struct CHS_t;