diff options
Diffstat (limited to 'psl/psl-tprint.ads')
| -rw-r--r-- | psl/psl-tprint.ads | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/psl/psl-tprint.ads b/psl/psl-tprint.ads new file mode 100644 index 000000000..1b06ebf1a --- /dev/null +++ b/psl/psl-tprint.ads @@ -0,0 +1,6 @@ +with PSL.Nodes; use PSL.Nodes; + +package PSL.Tprint is + procedure Disp_Unit (Unit : Node); + procedure Disp_Property (Prefix : String; Prop : Node); +end PSL.Tprint; |