diff options
Diffstat (limited to 'src/psl/psl-rewrites.adb')
-rw-r--r-- | src/psl/psl-rewrites.adb | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/psl/psl-rewrites.adb b/src/psl/psl-rewrites.adb index b575b3015..e06ddd323 100644 --- a/src/psl/psl-rewrites.adb +++ b/src/psl/psl-rewrites.adb @@ -1,4 +1,5 @@ with Types; use Types; +with PSL.Types; use PSL.Types; with PSL.Errors; use PSL.Errors; with PSL.CSE; use PSL.CSE; |