Fix location of function parameter type

Ref. eng/recordflux/RecordFlux#977
AdaCore · Sep 13, 2024 · 1ef5cc8 · 1ef5cc8
1 parent 3e32b84
commit 1ef5cc8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/rflx/specification/parser.py b/rflx/specification/parser.py
@@ -373,7 +373,7 @@ def create_id(error: RecordFluxError, identifier: lang.AbstractID, filename: Pat
             return (
                 ID(
                     identifier.f_package.text,
-                    location=node_location(identifier.f_package, filename),
+                    location=node_location(identifier, filename),
                 )
                 * name
             )