From 12917c1881a2c7a2ef0e1287ef1935d519b445fb Mon Sep 17 00:00:00 2001
From: Marius Bozga <Marius.Bozga@univ-grenoble-alpes.fr>
Date: Wed, 24 Nov 2021 15:09:08 +0100
Subject: [PATCH] fix enum type generation, avoid padding issues
---
src/code/type.m4 | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/code/type.m4 b/src/code/type.m4
index 4d6559e..b09e8c3 100644
--- a/src/code/type.m4
+++ b/src/code/type.m4
@@ -117,9 +117,9 @@ define(`enum_constant',
# enum_type_decl(T,e1,... en) #
define(`enum_type_decl', `
-typedef enum {
+enum type_name($1) : long {
enum_constant(shift($@))
-} type_name($1);
+};
extern const char* if_$1_name[];
--
GitLab