From 73e39b30b5bfa1fea5f6d1a7ce31cee298923edc Mon Sep 17 00:00:00 2001
From: Roland Coeurjoly <rolandcoeurjoly@gmail.com>
Date: Sun, 7 Jul 2024 21:12:47 +0200
Subject: [PATCH] Fix memory leak

---
 backends/functional/smtlib.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/backends/functional/smtlib.cc b/backends/functional/smtlib.cc
index c496b537591..bc1253b8837 100644
--- a/backends/functional/smtlib.cc
+++ b/backends/functional/smtlib.cc
@@ -24,7 +24,7 @@ USING_YOSYS_NAMESPACE
 PRIVATE_NAMESPACE_BEGIN
 
 const char illegal_characters[] = "#:\\";
-const char *reserved_keywords[] = {};
+const char *reserved_keywords[] = {nullptr};
 
 struct SmtScope {
   pool<std::string> used_names;