From 0711d4e5fec13a2bf364604eed91f59a3b1f37d1 Mon Sep 17 00:00:00 2001 From: gingerBill Date: Sun, 23 Jan 2022 09:53:50 +0000 Subject: [PATCH] Correct bit_set printing --- tools/odin-html-docs/odin_html_docs_main.odin | 1 + 1 file changed, 1 insertion(+) diff --git a/tools/odin-html-docs/odin_html_docs_main.odin b/tools/odin-html-docs/odin_html_docs_main.odin index ec5103363..cc7f35008 100644 --- a/tools/odin-html-docs/odin_html_docs_main.odin +++ b/tools/odin-html-docs/odin_html_docs_main.odin @@ -886,6 +886,7 @@ write_type :: proc(using writer: ^Type_Writer, type: doc.Type, flags: Write_Type write_type(writer, types[type_types[0]], flags) } if .Underlying_Type in type_flags { + io.write_string(w, "; ") write_type(writer, types[type_types[1]], flags) } io.write_string(w, "]")