X-Git-Url: https://ocean-lang.org/code/?p=ocean;a=blobdiff_plain;f=csrc%2Foceani.mdc;h=6c5b4466a229ec73a63ac565e5e5300cbd43b740;hp=0eaa9c8952623a0364d61689d423dce1a7b560c4;hb=20651d69e0f672461c2c458ae07fe98d0c1c6c28;hpb=e49b8c9295ce261db570ea62025b5dfa2a697b2b

diff --git a/csrc/oceani.mdc b/csrc/oceani.mdc
index 0eaa9c8..6c5b446 100644
--- a/csrc/oceani.mdc
+++ b/csrc/oceani.mdc
@@ -236,6 +236,11 @@ structures can be used.
 			}
 		} else
 			ss = s;				// NOTEST
+		if (!ss->code) {
+			fprintf(stderr, "oceani: no code found in requested section\n");	// NOTEST
+			exit(1);			// NOTEST
+		}
+
 		parse_oceani(ss->code, &context.config, dotrace ? stderr : NULL);
 
 		if (!context.prog) {