From 088b423572257c3bbe191f6a2eab10b16f214e6c Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Tue, 20 Jul 2021 07:29:56 +0200 Subject: oread: add support for debug line decl --- src/ortho/oread/ortho_front.adb | 7 +++++++ 1 file changed, 7 insertions(+) (limited to 'src/ortho') diff --git a/src/ortho/oread/ortho_front.adb b/src/ortho/oread/ortho_front.adb index e6bf6b6a3..e82b56d00 100644 --- a/src/ortho/oread/ortho_front.adb +++ b/src/ortho/oread/ortho_front.adb @@ -3075,6 +3075,13 @@ package body Ortho_Front is end if; Next_Token; return; + when Tok_Line_Number => + Next_Expect (Tok_Num); + if Flag_Renumber = False then + New_Debug_Line_Decl (Natural (Token_Number)); + end if; + Next_Token; + return; when others => Parse_Error ("declaration expected"); end case; -- cgit v1.2.3