diff options
Diffstat (limited to 'src/psl/psl-nfas.adb')
| -rw-r--r-- | src/psl/psl-nfas.adb | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/psl/psl-nfas.adb b/src/psl/psl-nfas.adb index 0a4348901..1e3f55ba7 100644 --- a/src/psl/psl-nfas.adb +++ b/src/psl/psl-nfas.adb @@ -17,6 +17,7 @@ -- 02111-1307, USA. with Tables; +with PSL.Types; use PSL.Types; package body PSL.NFAs is -- Record that describes an NFA. |