diff options
| author | Tristan Gingold <tgingold@free.fr> | 2016-02-13 18:00:36 +0100 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2016-02-14 13:52:34 +0100 |
| commit | ace70f3cc4d5ac8d5fb7e02e96d5b3187319e520 (patch) | |
| tree | 775665dcf6ac26054734e1cc9a543bbc8f2281b9 /src/psl/psl-prints.ads | |
| parent | 2c88f7c0f5a9859eeb118147444afbd47c71c2a8 (diff) | |
| download | ghdl-ace70f3cc4d5ac8d5fb7e02e96d5b3187319e520.tar.gz ghdl-ace70f3cc4d5ac8d5fb7e02e96d5b3187319e520.tar.bz2 ghdl-ace70f3cc4d5ac8d5fb7e02e96d5b3187319e520.zip | |
psl: cover directive works on a sequence, not on a property.
Diffstat (limited to 'src/psl/psl-prints.ads')
| -rw-r--r-- | src/psl/psl-prints.ads | 6 |
1 files changed, 4 insertions, 2 deletions
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. |