From: NeilBrown <neil@brown.name>
Date: Mon, 27 Dec 2021 21:13:35 +0000 (+1100)
Subject: oceani: move comment printing from print_exec() to where later
X-Git-Url: https://ocean-lang.org/code/?p=ocean;a=commitdiff_plain;h=39f272e16649c2fe49184d31f668471ff49ee9ed;hp=39f272e16649c2fe49184d31f668471ff49ee9ed

oceani: move comment printing from print_exec() to where later

The code for printing comments about variable usage that come after some
execs is now presented with other code for managing those variables.

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