diff options
Diffstat (limited to 'src/synth/synth-values.adb')
-rw-r--r-- | src/synth/synth-values.adb | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/src/synth/synth-values.adb b/src/synth/synth-values.adb index 45e9cf4e6..b71373b16 100644 --- a/src/synth/synth-values.adb +++ b/src/synth/synth-values.adb @@ -279,4 +279,16 @@ package body Synth.Values is Current_Pool := Prev_Pool; return Res; end Unshare; + + function Extract_Bound (Val : Value_Acc) return Value_Bound_Acc is + begin + case Val.Kind is + when Value_Net => + return Val.N_Bound; + when Value_Wire => + return Val.W_Bound; + when others => + raise Internal_Error; + end case; + end Extract_Bound; end Synth.Values; |