From 013c41bf28a636e32d7b62e89293f4ff172a5491 Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Thu, 2 Apr 2020 08:20:42 +0200 Subject: synth: more cleanup (and use of valtyp). --- src/synth/synth-expr.ads | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/synth/synth-expr.ads') diff --git a/src/synth/synth-expr.ads b/src/synth/synth-expr.ads index ff713ff6a..84544eadf 100644 --- a/src/synth/synth-expr.ads +++ b/src/synth/synth-expr.ads @@ -44,7 +44,7 @@ package Synth.Expr is -- Return True only if discrete value V is known to be positive or 0. -- False means either not positive or unknown. - function Is_Positive (V : Value_Acc) return Boolean; + function Is_Positive (V : Valtyp) return Boolean; -- Return the bounds of a one dimensional array/vector type and the -- width of the element. @@ -130,7 +130,7 @@ package Synth.Expr is procedure Free_Logvec_Array is new Ada.Unchecked_Deallocation (Logvec_Array, Logvec_Array_Acc); - procedure Value2logvec (Val : Value_Acc; + procedure Value2logvec (Val : Valtyp; Vec : in out Logvec_Array; Off : in out Uns32; Has_Zx : in out Boolean); -- cgit v1.2.3