From 172d8bd5e9779f74dfb76d1dfdaaf50048a36973 Mon Sep 17 00:00:00 2001
From: Phillip Stephens <antidote.crk@gmail.com>
Date: Mon, 23 Oct 2023 12:25:44 -0700
Subject: [PATCH] Fix match

Former-commit-id: a9c152e3e671a205bfd7e7400dc0454b521ac7c2
---
 configure.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/configure.py b/configure.py
index 4227b34f..2fadf270 100755
--- a/configure.py
+++ b/configure.py
@@ -197,6 +197,7 @@ cflags_musyx = [
     "-inline auto",
     "-O4,p",
     "-fp hard",
+    "-enum int",
     "-Cpp_exceptions off",
     "-str reuse,pool,readonly",
     "-fp_contract off",