Hello, At least one set of sample Source_File_Name pragmas listed on gnat-ugn.texi [1] is incompatible with those expected by the code that parses them within Scan_SFN_Pragmas procedure [2]. For instance, the line containing (Spec_File_Name => ".ads" . . . must instead contain (Spec_File_Name => "*.ads" . . . for compilation to work. A single asterisk, mandated by Scan_SFN_Pragmas, is missing in the documentation. Thank you. [1] https://gcc.gnu.org/git/?p=gcc.git;a=blob;f=gcc/ada/gnat_ugn.texi;hb=4759383245ac97a5c83c0272f0a831f2a26ea5c1#l1835 [2] https://gcc.gnu.org/git/?p=gcc.git;a=blob;f=gcc/ada/sfn_scan.adb;hb=4759383245ac97a5c83c0272f0a831f2a26ea5c1#l517
