From e16d9f3a2baca371401990715fb9ee4fc3f53916 Mon Sep 17 00:00:00 2001 From: Raphael Defosseux Date: Tue, 18 Jun 2019 15:14:18 +0200 Subject: [PATCH] fix compilation issues Signed-off-by: Raphael Defosseux --- common/utils/T/T_defs.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/common/utils/T/T_defs.h b/common/utils/T/T_defs.h index f0d0ba8c77..3e4939ade0 100644 --- a/common/utils/T/T_defs.h +++ b/common/utils/T/T_defs.h @@ -41,7 +41,7 @@ typedef struct { } T_cache_t; /* number of VCD functions (to be kept up to date! see in T_messages.txt) */ -#define VCD_NUM_FUNCTIONS (223) +#define VCD_NUM_FUNCTIONS (228) /* number of VCD variables (to be kept up to date! see in T_messages.txt) */ #define VCD_NUM_VARIABLES (177)