From 51c2b797b34e1681bc5dbfcbebc1f45ca2294c0b Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Fri, 1 Mar 2013 01:10:11 +0100 Subject: [PATCH] Do not unescape identifiers starting with \$ --- kernel/rtlil.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/kernel/rtlil.h b/kernel/rtlil.h index 1f45d1204..15fec2690 100644 --- a/kernel/rtlil.h +++ b/kernel/rtlil.h @@ -105,7 +105,7 @@ namespace RTLIL static std::string unescape_id(std::string str) __attribute__((unused)); static std::string unescape_id(std::string str) { - if (str.size() > 0 && str[0] == '\\') + if (str.size() > 1 && str[0] == '\\' && str[1] != '$') return str.substr(1); return str; } -- 2.30.2