diff options
| author | Tristan Gingold <tgingold@free.fr> | 2016-02-13 18:00:36 +0100 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2016-02-17 21:04:44 +0100 |
| commit | 841d7b35dfc55fe8be9a5155bc069fb6e467af1f (patch) | |
| tree | 25b5dce05aaf36941117059a438ecf3977a2b2f2 | |
| parent | a0ba35537c34cd3c7eced8107c9578efbe99cb8b (diff) | |
| download | ghdl-841d7b35dfc55fe8be9a5155bc069fb6e467af1f.tar.gz ghdl-841d7b35dfc55fe8be9a5155bc069fb6e467af1f.tar.bz2 ghdl-841d7b35dfc55fe8be9a5155bc069fb6e467af1f.zip | |
psl: cover directive works on a sequence, not on a property.
| -rw-r--r-- | src/vhdl/canon.adb | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/vhdl/canon.adb b/src/vhdl/canon.adb index 44a92073e..bf4536088 100644 --- a/src/vhdl/canon.adb +++ b/src/vhdl/canon.adb @@ -1927,8 +1927,6 @@ package body Canon is use PSL.Nodes; Prop : PSL_Node; Fa : PSL_NFA; - Num : Natural; - List : Iir_List; begin Prop := Get_Psl_Property (El); Prop := PSL.Rewrites.Rewrite_Property (Prop); |