Fix memory leak

YosysHQ · Jul 7, 2024 · 73e39b3 · 73e39b3
1 parent d8b5b90
commit 73e39b3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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;