aboutsummaryrefslogtreecommitdiffstats
path: root/kernel/rtlil.h
diff options
context:
space:
mode:
authorEddie Hung <eddie@fpgeh.com>2020-04-20 15:50:12 -0700
committerAlberto Gonzalez <boqwxp@airmail.cc>2020-05-14 20:06:55 +0000
commitdabeb1e8a136730536d17fd79e6c348d8cdca271 (patch)
treed317fcc09b9db18ab07ca43ea7139b6c7c2f7ca8 /kernel/rtlil.h
parentbd54d67ad4a24992c4161f12b2c8e42df2a65569 (diff)
downloadyosys-dabeb1e8a136730536d17fd79e6c348d8cdca271.tar.gz
yosys-dabeb1e8a136730536d17fd79e6c348d8cdca271.tar.bz2
yosys-dabeb1e8a136730536d17fd79e6c348d8cdca271.zip
techmap: prefix special wires with backslash for use as IdString
Diffstat (limited to 'kernel/rtlil.h')
-rw-r--r--kernel/rtlil.h2
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel/rtlil.h b/kernel/rtlil.h
index dad8508c3..11c45bbec 100644
--- a/kernel/rtlil.h
+++ b/kernel/rtlil.h
@@ -150,7 +150,7 @@ namespace RTLIL
if (!p[0])
return 0;
- log_assert(p[0] == '$' || p[0] == '\\' || strncmp(p, "_TECHMAP_", strlen("_TECHMAP_")) == 0);
+ log_assert(p[0] == '$' || p[0] == '\\');
log_assert(p[1] != 0);
auto it = global_id_index_.find((char*)p);