diff options
Diffstat (limited to 'backends/aiger/aiger.cc')
| -rw-r--r-- | backends/aiger/aiger.cc | 13 |
1 files changed, 1 insertions, 12 deletions
diff --git a/backends/aiger/aiger.cc b/backends/aiger/aiger.cc index 5cfdff3fb..4ef28be9f 100644 --- a/backends/aiger/aiger.cc +++ b/backends/aiger/aiger.cc @@ -20,6 +20,7 @@ #include "kernel/yosys.h" #include "kernel/sigtools.h" #include "kernel/json.h" +#include "kernel/yw.h" #include "libs/json11/json11.hpp" USING_YOSYS_NAMESPACE @@ -710,18 +711,6 @@ struct AigerWriter f << it.second; } - template<class T> static std::vector<std::string> witness_path(T *obj) { - std::vector<std::string> path; - if (obj->name.isPublic()) { - auto hdlname = obj->get_string_attribute(ID::hdlname); - for (auto token : split_tokens(hdlname)) - path.push_back("\\" + token); - } - if (path.empty()) - path.push_back(obj->name.str()); - return path; - } - void write_ywmap(PrettyJson &json) { json.begin_object(); |