summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorChristophe Grenier <grenier@cgsecurity.org>2021-05-12 16:19:44 +0200
committerChristophe Grenier <grenier@cgsecurity.org>2021-05-12 16:19:44 +0200
commit6d51ce0e8c237cc1124f218b2e2695e0e3b41772 (patch)
treef42a3f1298aecce806f228a528c4414988401aac
parent351253859571c3bed2a3a00dd7313985b1c8c5ba (diff)
Fix commit 65caf90a28399f6be0aa5c6401e27e646f9bdfe3HEADmaster
-rw-r--r--configure.ac2
-rw-r--r--src/common.h2
2 files changed, 2 insertions, 2 deletions
diff --git a/configure.ac b/configure.ac
index 1893530..c812fd9 100644
--- a/configure.ac
+++ b/configure.ac
@@ -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)
diff --git a/src/common.h b/src/common.h
index 7b614ee..c80d2f6 100644
--- a/src/common.h
+++ b/src/common.h
@@ -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;