aboutsummaryrefslogtreecommitdiffstats
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-rw-r--r--src/vhdl/canon.adb2
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);