diff options
Diffstat (limited to 'src/psl/psl-subsets.adb')
-rw-r--r-- | src/psl/psl-subsets.adb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/psl/psl-subsets.adb b/src/psl/psl-subsets.adb index 520cc32ff..8aaf2b063 100644 --- a/src/psl/psl-subsets.adb +++ b/src/psl/psl-subsets.adb @@ -16,8 +16,8 @@ -- Software Foundation, 59 Temple Place - Suite 330, Boston, MA -- 02111-1307, USA. +with PSL.Types; use PSL.Types; with PSL.Errors; use PSL.Errors; -with Types; use Types; package body PSL.Subsets is procedure Check_Simple (N : Node) |