From 93cb47c448978def5fc72674fae13a2622190695 Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Tue, 6 Dec 2022 07:41:39 +0100 Subject: file_comments: reset comments when starting a new file --- src/file_comments.adb | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'src') diff --git a/src/file_comments.adb b/src/file_comments.adb index 246a7ad7b..ef292c43f 100644 --- a/src/file_comments.adb +++ b/src/file_comments.adb @@ -38,8 +38,10 @@ package body File_Comments is Comments_Table.Append (File_Comments_Table'(Table => null, Priv => <>)); end loop; - File_Comments_Tables.Init (Comments_Table.Table (Ctxt.File), 16); end if; + + -- Always reset the table. + File_Comments_Tables.Init (Comments_Table.Table (Ctxt.File), 16); end Comment_Init_Scan; procedure Comment_Close_Scan is -- cgit v1.2.3