diff options
Diffstat (limited to 'src/synth/synth-values.ads')
| -rw-r--r-- | src/synth/synth-values.ads | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/synth/synth-values.ads b/src/synth/synth-values.ads index 48d51e0f8..0032538fe 100644 --- a/src/synth/synth-values.ads +++ b/src/synth/synth-values.ads @@ -154,6 +154,8 @@ package Synth.Values is -- Pool for objects allocated in the current instance. Instance_Pool : Areapool_Acc; + function Is_Equal (L, R : Value_Acc) return Boolean; + -- Create a Value_Net. function Create_Value_Net (N : Net; Bnd : Value_Bound_Acc) return Value_Acc; |