Skip to content

Commit 034d29b

Browse files
Petr BauchPetr Bauch
authored andcommitted
Small fix
1 parent 4abda44 commit 034d29b

File tree

1 file changed

+1
-3
lines changed

1 file changed

+1
-3
lines changed

gnat2goto/driver/driver.adb

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -241,15 +241,13 @@ package body Driver is
241241
Start_Symbol.BaseName := Start_Name;
242242

243243
Set_Return_Type (Start_Type, Void_Type);
244-
Global_Symbol_Table.Insert (Start_Name, Start_Symbol);
245-
Follow_Type_Declarations (Global_Symbol_Table, Followed_Symbol_Table);
246244

247245
Start_Symbol.SymType := Start_Type;
248246
Start_Symbol.Value := Start_Body;
249247
Start_Symbol.Mode := Intern ("C");
250248

251249
Global_Symbol_Table.Insert (Start_Name, Start_Symbol);
252-
250+
Follow_Type_Declarations (Global_Symbol_Table, Followed_Symbol_Table);
253251
Put_Line (Sym_Tab_File,
254252
Create (SymbolTable2Json (Followed_Symbol_Table)).Write);
255253
end if;

0 commit comments

Comments
 (0)