From 841d7b35dfc55fe8be9a5155bc069fb6e467af1f Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Sat, 13 Feb 2016 18:00:36 +0100
Subject: psl: cover directive works on a sequence, not on a property.

---
 src/vhdl/canon.adb | 2 --
 1 file changed, 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);
-- 
cgit v1.2.3