mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-12 20:18:20 +00:00
Code Activity

Fix memory leak

Browse source
This commit is contained in:
Roland Coeurjoly 2024-07-07 21:12:47 +02:00 committed by Emily Schmidt
parent 5780357cd9
commit fad76ce677
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
backends/functional/smtlib.cc
View file

@ -24,7 +24,7 @@ USING_YOSYS_NAMESPACE
PRIVATE_NAMESPACE_BEGIN PRIVATE_NAMESPACE_BEGIN
const char illegal_characters[] = "#:\\"; const char illegal_characters[] = "#:\\";
const char *reserved_keywords[] = {}; const char *reserved_keywords[] = {nullptr};
struct SmtScope { struct SmtScope {
pool<std::string> used_names; pool<std::string> used_names;