1 files changed, 8 insertions, 3 deletions
diff --git a/src/vhdl/vhdl-parse_psl.adb b/src/vhdl/vhdl-parse_psl.adb
index d54924212..eaabd852b 100644
--- a/src/vhdl/vhdl-parse_psl.adb
+++ b/src/vhdl/vhdl-parse_psl.adb
@@ -79,13 +79,18 @@ package body Vhdl.Parse_Psl is
       end if;
    end Check_Positive_Count;
 
-   procedure Parse_Count (N : Node) is
+   procedure Parse_Count (N : Node)
+   is
+      Hi : Node;
    begin
       Set_Low_Bound (N, Parse_Number);
       if Current_Token = Tok_To then
          Scan;
-         Set_High_Bound (N, Parse_Number);
-         Check_Positive_Count (N);
+         Hi := Parse_Number;
+         Set_High_Bound (N, Hi);
+         if Hi /= Null_Node then
+            Check_Positive_Count (N);
+         end if;
       end if;
    end Parse_Count;