From 9ddea6d65d9a8cce76bde215297a018a28597779 Mon Sep 17 00:00:00 2001
From: Roland Coeurjoly <rolandcoeurjoly@gmail.com>
Date: Wed, 22 May 2024 10:51:31 +0200
Subject: [PATCH] Needed for gcc compilation. See
 https://stackoverflow.com/a/42846010

---
 backends/functional/cxx.cc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/backends/functional/cxx.cc b/backends/functional/cxx.cc
index 42e633df0e2..8b442e316cf 100644
--- a/backends/functional/cxx.cc
+++ b/backends/functional/cxx.cc
@@ -23,6 +23,7 @@
 #include "kernel/functional.h"
 #include "kernel/graphtools.h"
 #include <cassert>
+#include <array>
 
 USING_YOSYS_NAMESPACE
 PRIVATE_NAMESPACE_BEGIN