diff options
Diffstat (limited to 'src/psl/psl-dump_tree.adb')
| -rw-r--r-- | src/psl/psl-dump_tree.adb | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/psl/psl-dump_tree.adb b/src/psl/psl-dump_tree.adb index 700c120d3..f04333b51 100644 --- a/src/psl/psl-dump_tree.adb +++ b/src/psl/psl-dump_tree.adb @@ -19,6 +19,7 @@ with Ada.Text_IO; use Ada.Text_IO; with Types; use Types; with Name_Table; +with PSL.Types; use PSL.Types; with PSL.Errors; with PSL.Nodes_Meta; |