Skip to content

Commit 8b7b7a9

Browse files
committed
protect typet::subtype() nonconst
This protects typet::subtype() nonconst. There are no remaining uses of the method outside of the typet class hierarchy.
1 parent 61acf6c commit 8b7b7a9

File tree

1 file changed

+0
-2
lines changed

1 file changed

+0
-2
lines changed

src/util/type.h

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -54,8 +54,6 @@ class typet:public irept
5454
return static_cast<const typet &>(get_sub().front());
5555
}
5656

57-
// This method will be protected eventually.
58-
public:
5957
typet &subtype()
6058
{
6159
subt &sub=get_sub();

0 commit comments

Comments
 (0)