From aa1dfa4e03c83a1f02596d82a39217ed786e0e67 Mon Sep 17 00:00:00 2001 From: perost Date: Mon, 19 Apr 2021 14:55:33 +0200 Subject: [PATCH] Handle empty sections in Sections.toFlatStream (#7391) --- OMCompiler/Compiler/NFFrontEnd/NFSections.mo | 1 + 1 file changed, 1 insertion(+) diff --git a/OMCompiler/Compiler/NFFrontEnd/NFSections.mo b/OMCompiler/Compiler/NFFrontEnd/NFSections.mo index 7f5d8d65141..0058a052235 100644 --- a/OMCompiler/Compiler/NFFrontEnd/NFSections.mo +++ b/OMCompiler/Compiler/NFFrontEnd/NFSections.mo @@ -436,6 +436,7 @@ public end if; s := IOStream.append(s, ";\n"); then (); + else (); end match; end toFlatStream;