From ace70f3cc4d5ac8d5fb7e02e96d5b3187319e520 Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Sat, 13 Feb 2016 18:00:36 +0100 Subject: psl: cover directive works on a sequence, not on a property. --- src/psl/psl-prints.ads | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'src/psl/psl-prints.ads') diff --git a/src/psl/psl-prints.ads b/src/psl/psl-prints.ads index 920ca5939..d49a5e093 100644 --- a/src/psl/psl-prints.ads +++ b/src/psl/psl-prints.ads @@ -21,8 +21,10 @@ with PSL.Priorities; use PSL.Priorities; package PSL.Prints is procedure Print_Unit (Unit : Node); - procedure Print_Property (Prop : Node; - Parent_Prio : Priority := Prio_Lowest); + procedure Print_Sequence + (Seq : Node; Parent_Prio : Priority := Prio_Lowest); + procedure Print_Property + (Prop : Node; Parent_Prio : Priority := Prio_Lowest); procedure Print_Expr (N : Node; Parent_Prio : Priority := Prio_Lowest); -- Procedure to display HDL_Expr nodes. -- cgit v1.2.3