diff options
Diffstat (limited to 'src/synth/synth-decls.ads')
| -rw-r--r-- | src/synth/synth-decls.ads | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/synth/synth-decls.ads b/src/synth/synth-decls.ads index 08a548bc5..7fd104280 100644 --- a/src/synth/synth-decls.ads +++ b/src/synth/synth-decls.ads @@ -33,6 +33,8 @@ package Synth.Decls is procedure Synth_Subtype_Indication (Syn_Inst : Synth_Instance_Acc; Atype : Node); + function Synth_Subtype_Indication + (Syn_Inst : Synth_Instance_Acc; Atype : Node) return Type_Acc; -- Elaborate the type of DECL. procedure Synth_Declaration_Type |