vhdl-parse_psl: minor reformating

1 files changed, 9 insertions, 10 deletions

diff --git a/src/vhdl/vhdl-parse_psl.adb b/src/vhdl/vhdl-parse_psl.adb
index b453423f4..d54924212 100644
--- a/src/vhdl/vhdl-parse_psl.adb
+++ b/src/vhdl/vhdl-parse_psl.adb
@@ -66,17 +66,16 @@ package body Vhdl.Parse_Psl is
       end if;
    end Parse_Number;
 
-   procedure Check_Positive_Count(N : Node) is
-      Low : Uns32;
-      High : Uns32;
+   procedure Check_Positive_Count (N : Node)
+   is
+      Low  : constant Uns32 := Get_Value (Get_Low_Bound (N));
+      High : constant Uns32 := Get_Value (Get_High_Bound (N));
    begin
-      Low := Get_Value(Get_Low_Bound(N));
-      High := Get_Value(Get_High_Bound(N));
-      if Low >= High then
-         Error_Msg_Parse (
-            "Low bound of range must be lower than High bound," &
-            " actual range is:" &
-            Uns32'Image(Low) & " to" & Uns32'Image(High));
+      if Low > High then
+         Error_Msg_Parse
+           ("Low bound of range must be lower than High bound," &
+              " actual range is:" &
+              Uns32'Image (Low) & " to" & Uns32'Image (High));
       end if;
    end Check_Positive_Count;