summaryrefslogtreecommitdiff
path: root/gcc/ada/prj-env.ads
diff options
context:
space:
mode:
Diffstat (limited to 'gcc/ada/prj-env.ads')
-rw-r--r--gcc/ada/prj-env.ads2
1 files changed, 2 insertions, 0 deletions
diff --git a/gcc/ada/prj-env.ads b/gcc/ada/prj-env.ads
index 3a92d996743..34b77aa4c25 100644
--- a/gcc/ada/prj-env.ads
+++ b/gcc/ada/prj-env.ads
@@ -56,6 +56,8 @@ package Prj.Env is
-- since the latter would have to match exactly the index of that language
-- for the specified project, and that is not information available in
-- buildgpr.adb.
+ --
+ -- See fmap for a description of the format of the mapping file
procedure Set_Mapping_File_Initial_State_To_Empty
(In_Tree : Project_Tree_Ref);