X-Git-Url: https://ocean-lang.org/code/?p=ocean;a=blobdiff_plain;f=csrc%2Foceani.mdc;h=59b8540122e2f75cd6ee471c3482a8bb8810380d;hp=fd753ce5e0b0d43484fb6959e19cb30c7ee04aab;hb=73aaa11833e35b28c84696f4d69739adbb14467d;hpb=5a438bb96ff5bd82e67312b79f593ecfcbf32529

diff --git a/csrc/oceani.mdc b/csrc/oceani.mdc
index fd753ce..59b8540 100644
--- a/csrc/oceani.mdc
+++ b/csrc/oceani.mdc
@@ -166,6 +166,12 @@ structures can be used.
 		{NULL,        0, NULL, 0},
 	};
 	const char *options = "tpnbs";
+
+	static void pr_err(char *msg)
+	{
+		fprintf(stderr, "%s\n", msg);		// NOTEST
+	}
+
 	int main(int argc, char *argv[])
 	{
 		int fd;
@@ -207,7 +213,7 @@ structures can be used.
 		context.file_name = argv[optind];
 		len = lseek(fd, 0, 2);
 		file = mmap(NULL, len, PROT_READ, MAP_SHARED, fd, 0);
-		s = code_extract(file, file+len, NULL);
+		s = code_extract(file, file+len, pr_err);
 		if (!s) {
 			fprintf(stderr, "oceani: could not find any code in %s\n",
 			        argv[optind]);