diff options
Diffstat (limited to 'src/psl')
| -rw-r--r-- | src/psl/psl-prints.ads | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/psl/psl-prints.ads b/src/psl/psl-prints.ads index d49a5e093..96692d436 100644 --- a/src/psl/psl-prints.ads +++ b/src/psl/psl-prints.ads @@ -27,6 +27,8 @@ package PSL.Prints is (Prop : Node; Parent_Prio : Priority := Prio_Lowest); procedure Print_Expr (N : Node; Parent_Prio : Priority := Prio_Lowest); + function Get_Priority (N : Node) return Priority; + -- Procedure to display HDL_Expr nodes. type HDL_Expr_Printer_Acc is access procedure (N : HDL_Node); HDL_Expr_Printer : HDL_Expr_Printer_Acc; |