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.ads | |
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.ads')
-rw-r--r-- | src/psl/psl-build.ads | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/psl/psl-build.ads b/src/psl/psl-build.ads index c8e15ee22..dcfadb96a 100644 --- a/src/psl/psl-build.ads +++ b/src/psl/psl-build.ads @@ -21,5 +21,6 @@ with PSL.Nodes; use PSL.Nodes; package PSL.Build is Optimize_Final : Boolean := True; + function Build_SERE_FA (N : Node) return NFA; function Build_FA (N : Node) return NFA; end PSL.Build; |