Ruby: Get rid of warning in getUnknownMember

This commit is contained in:
Tom Hvitved
2022-08-17 16:15:58 +02:00
parent 355c1f5959
commit c307a12c20

View File

@@ -718,6 +718,10 @@ module API {
or
succ = MkMethodAccessNode(entry.getACall())
)
or
// to get rid of an incompatible types error in `getUnknownMember`
lbl = Label::unknownMember() and
none()
}
/**