diff options
| author | Tristan Gingold <tgingold@free.fr> | 2016-02-13 18:00:36 +0100 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2016-02-14 13:52:34 +0100 |
| commit | ace70f3cc4d5ac8d5fb7e02e96d5b3187319e520 (patch) | |
| tree | 775665dcf6ac26054734e1cc9a543bbc8f2281b9 /src/psl/psl-build.adb | |
| parent | 2c88f7c0f5a9859eeb118147444afbd47c71c2a8 (diff) | |
| download | ghdl-ace70f3cc4d5ac8d5fb7e02e96d5b3187319e520.tar.gz ghdl-ace70f3cc4d5ac8d5fb7e02e96d5b3187319e520.tar.bz2 ghdl-ace70f3cc4d5ac8d5fb7e02e96d5b3187319e520.zip | |
psl: cover directive works on a sequence, not on a property.
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; |