Merge branch 'mr/pmderodat/master' into 'master'

SubtypeDecl.get_type: add missing default value for "origin" See merge request eng/libadalang/libadalang!1638
AdaCore · May 13, 2024 · f05b295 · f05b295
2 parents 8cb2a4a + 772b6ce
commit f05b295
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/ada/ast.py b/ada/ast.py
@@ -10141,7 +10141,10 @@ class SubtypeDecl(BaseSubtypeDecl):
         add_to_env(Entity.synthetic_object_decl_env_assoc)
     )
 
-    @langkit_property(return_type=T.BaseTypeDecl.entity, dynamic_vars=[origin])
+    @langkit_property(
+        return_type=T.BaseTypeDecl.entity,
+        dynamic_vars=[default_origin()],
+    )
     def get_type():
         return Entity.subtype.designated_type.match(
             lambda st=T.SubtypeDecl: st.get_type,