diff options
Diffstat (limited to 'src/vhdl/translate/trans.ads')
| -rw-r--r-- | src/vhdl/translate/trans.ads | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/vhdl/translate/trans.ads b/src/vhdl/translate/trans.ads index e97d6a0c3..fc53a0cea 100644 --- a/src/vhdl/translate/trans.ads +++ b/src/vhdl/translate/trans.ads @@ -1317,8 +1317,8 @@ package Trans is -- State vector variable. Psl_Vect_Var : Var_Type; - -- Boolean variable (for cover) - Psl_Bool_Var : Var_Type; + -- Counter variable (nbr of failures or coverage) + Psl_Count_Var : Var_Type; -- RTI for the process. Psl_Rti_Const : O_Dnode := O_Dnode_Null; |