Skip to content

Commit a701ebb

Browse files
committed
lkql_checker: move main into lkql_checker package.
Since the Main procedure is not the main entry point anymore.
1 parent 6c84fb2 commit a701ebb

File tree

6 files changed

+692
-687
lines changed

6 files changed

+692
-687
lines changed

lkql_checker/src/gnatcheck.adb

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -5,8 +5,6 @@
55

66
with Lkql_Checker; use Lkql_Checker;
77

8-
with Main;
9-
108
procedure Gnatcheck is
119
begin
1210
Main (Gnatcheck_Mode);

lkql_checker/src/gnatkp.adb

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -5,8 +5,6 @@
55

66
with Lkql_Checker; use Lkql_Checker;
77

8-
with Main;
9-
108
procedure Gnatkp is
119
begin
1210
Main (Gnatkp_Mode);

0 commit comments

Comments
 (0)