SubtypeDecl.get_type: add missing default value for "origin"

This is for consistency with the overriden property. Langkit used not to detect this inconsistency.
AdaCore · May 13, 2024 · 772b6ce · 772b6ce
1 parent 8cb2a4a
commit 772b6ce
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,