From: NeilBrown <neil@brown.name>
Date: Sun, 17 Oct 2021 09:29:16 +0000 (+1100)
Subject: oceani: fix some incorrect section headers.
X-Git-Url: https://ocean-lang.org/code/?a=commitdiff_plain;h=5a46557efc87c72f5c80ddd978e90d1a376a3429;hp=5a46557efc87c72f5c80ddd978e90d1a376a3429;p=ocean

oceani: fix some incorrect section headers.

section header that just introduce code are 6 deep, not 2.

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