diff options
author | Clifford Wolf <clifford@clifford.at> | 2014-12-26 21:59:41 +0100 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2014-12-26 21:59:41 +0100 |
commit | ec4751e55c11d7287dacd39fb61ad936995fc963 (patch) | |
tree | 5eccefb2e152a5eb64bb76b24e8237992dd8a972 /kernel/yosys.h | |
parent | 9e6fb0b02ccf209528ead026de8eef0a8a0d7740 (diff) |
Replaced std::unordered_set (nodict) with Yosys::pool
Diffstat (limited to 'kernel/yosys.h')
-rw-r--r-- | kernel/yosys.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/kernel/yosys.h b/kernel/yosys.h index 9b76d28c..012b40c1 100644 --- a/kernel/yosys.h +++ b/kernel/yosys.h @@ -124,7 +124,6 @@ YOSYS_NAMESPACE_BEGIN -#define nodict std::unordered_set #include "kernel/hashmap.h" using std::vector; |