diff options
Diffstat (limited to 'src/psl/psl-build.adb')
| -rw-r--r-- | src/psl/psl-build.adb | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/psl/psl-build.adb b/src/psl/psl-build.adb index 661d758bf..7a047b6de 100644 --- a/src/psl/psl-build.adb +++ b/src/psl/psl-build.adb @@ -29,8 +29,6 @@ with PSL.Prints; with PSL.NFAs; use PSL.NFAs; package body PSL.Build is - function Build_SERE_FA (N : Node) return NFA; - package Intersection is function Build_Inter (L, R : NFA; Match_Len : Boolean) return NFA; end Intersection; |