From 080f311040a0c1bb5fd877e4ad06fc613fdc3314 Mon Sep 17 00:00:00 2001
From: whitequark <whitequark@whitequark.org>
Date: Sat, 12 Dec 2020 20:50:37 +0000
Subject: [PATCH] kernel: make IdString::isPublic() const.

---
 kernel/rtlil.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/kernel/rtlil.h b/kernel/rtlil.h
index a03e8933c..cd966b815 100644
--- a/kernel/rtlil.h
+++ b/kernel/rtlil.h
@@ -376,7 +376,7 @@ namespace RTLIL
 		bool in(const std::string &rhs) const { return *this == rhs; }
 		bool in(const pool<IdString> &rhs) const { return rhs.count(*this) != 0; }
 
-		bool isPublic() { return begins_with("\\"); }
+		bool isPublic() const { return begins_with("\\"); }
 	};
 
 	namespace ID {
-- 
2.30.2