From 65865563cd990ab5269760e17d42260b437c339a Mon Sep 17 00:00:00 2001 From: Andrew Plotkin Date: Sat, 27 May 2023 09:11:30 -0400 Subject: [PATCH] Don't write the second argument of #OrigSource if it wasn't set. (Or is zero.) --- inter/final-module/Chapter 4/Inform 6 Code.w | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/inter/final-module/Chapter 4/Inform 6 Code.w b/inter/final-module/Chapter 4/Inform 6 Code.w index a60df40e7..61cef316b 100644 --- a/inter/final-module/Chapter 4/Inform 6 Code.w +++ b/inter/final-module/Chapter 4/Inform 6 Code.w @@ -190,7 +190,10 @@ void I6TargetCode::place_origsource(code_generator *gtr, code_generation *gen, if (source_loc->textual_filename && Str::len(source_loc->textual_filename) > 0) { WRITE("#OrigSource "); Generators::compile_literal_text(gen, source_loc->textual_filename, TRUE); - WRITE(" %d;\n", source_loc->line_number); + if (source_loc->line_number > 0) + WRITE(" %d;\n", source_loc->line_number); + else + WRITE(";\n"); } else { WRITE("#OrigSource;\n");