From: NeilBrown <neil@brown.name>
Date: Tue, 14 Dec 2021 10:24:14 +0000 (+1100)
Subject: oceani: discard Rnolabel
X-Git-Url: https://ocean-lang.org/code/?a=commitdiff_plain;h=3c9b656474122721e7e0d57ba3e95b407b7cd3ba;hp=3c9b656474122721e7e0d57ba3e95b407b7cd3ba;p=ocean

oceani: discard Rnolabel

With the new approach to labels, this flag does make any sense.
Labels are more clearly typed now.

Signed-off-by: NeilBrown <neil@brown.name>
---