aboutsummaryrefslogtreecommitdiffstats
path: root/src/synth/synth-context.adb
diff options
context:
space:
mode:
Diffstat (limited to 'src/synth/synth-context.adb')
-rw-r--r--src/synth/synth-context.adb7
1 files changed, 7 insertions, 0 deletions
diff --git a/src/synth/synth-context.adb b/src/synth/synth-context.adb
index ecc36fa75..b6c5916b5 100644
--- a/src/synth/synth-context.adb
+++ b/src/synth/synth-context.adb
@@ -49,6 +49,7 @@ package body Synth.Context is
begin
Top_Module :=
New_Design (New_Sname_Artificial (Get_Identifier ("top")));
+ pragma Assert (Build_Context = null);
Build_Context := Build_Builders (Top_Module);
Base := new Base_Instance_Type'(Builder => Build_Context,
@@ -129,6 +130,12 @@ package body Synth.Context is
return Inst.Name;
end Get_Sname;
+ function Get_Build (Inst : Synth_Instance_Acc)
+ return Netlists.Builders.Context_Acc is
+ begin
+ return Inst.Base.Builder;
+ end Get_Build;
+
function Create_Value_Instance (Inst : Synth_Instance_Acc)
return Value_Acc is
begin