We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent c14ef65 commit 354689dCopy full SHA for 354689d
tools/gnatcov/rts/gcvrt.ads
@@ -18,6 +18,6 @@
18
19
-- Namespace for units generated for instrumentation purposes
20
21
-package GCVRT is
+package GCVRT is
22
pragma Pure;
23
end GCVRT;
0 commit comments