From 772b6ce3f8ae4c75d837f0e8b21bc3f3c1564b2b Mon Sep 17 00:00:00 2001 From: Pierre-Marie de Rodat Date: Mon, 13 May 2024 11:21:58 +0000 Subject: [PATCH] SubtypeDecl.get_type: add missing default value for "origin" This is for consistency with the overriden property. Langkit used not to detect this inconsistency. --- ada/ast.py | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/ada/ast.py b/ada/ast.py index 1eb7f8827..4fcadbdc1 100644 --- 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,