Commit f485d15f authored by yoogx's avatar yoogx
Browse files

* Solve wrong pre-condition

parent f05c2ccf
......@@ -117,8 +117,10 @@ private
function Valid (Message : Message_Type) return Boolean is
(Message.First >= Message.Content'First
and then Message.First < Message.Last
and then Message.Last <= Message.Content'Last);
-- The following part cannot be correct in the case Message is
-- not initialized, see defaults for Message_Type
-- and then Message.First <= Message.Last
function Payload (M : Message_Type) return Stream_Element_Array is
(M.Content (M.First .. M.Last));
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment