From 51ea756dae482c499dba08f712ceb75c96a8bd3c Mon Sep 17 00:00:00 2001
From: Hugo Guerrier <hugogguerrier@gmail.com>
Date: Wed, 18 Sep 2024 17:25:52 +0200
Subject: [PATCH] minor: Add docstring for 'Only_Ada_Mains'

---
 lkql_checker/src/gnatcheck-projects.adb | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/lkql_checker/src/gnatcheck-projects.adb b/lkql_checker/src/gnatcheck-projects.adb
index 66ac62263..88dab1ff2 100644
--- a/lkql_checker/src/gnatcheck-projects.adb
+++ b/lkql_checker/src/gnatcheck-projects.adb
@@ -224,6 +224,8 @@ package body Gnatcheck.Projects is
 
       function Only_Ada_Mains
         (Prj : GPR2.Project.View.Object) return Boolean;
+      --  Returns whether the provided ``Prj`` project view defines only Ada
+      --  mains.
 
       procedure Store_Source (Unit : GPR2.Build.Compilation_Unit.Object);
       --  Callback used to store sources