comp.lang.ada
 help / color / mirror / Atom feed
From: pascal.malaise@gmail.com
Subject: Re: Contraint error when "out" parameter has incorrect initial content
Date: Sun, 25 Aug 2013 08:25:35 -0700 (PDT)
Date: 2013-08-25T08:25:35-07:00	[thread overview]
Message-ID: <75ecffa9-2968-40bd-922c-14e37f9845d6@googlegroups.com> (raw)
In-Reply-To: <54258ffb-a99c-48d8-8d2b-02694efb6d36@googlegroups.com>

Thank you very much for the reference to the RM and of the explanation.


      parent reply	other threads:[~2013-08-25 15:25 UTC|newest]

Thread overview: 5+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2013-08-25 14:07 Contraint error when "out" parameter has incorrect initial content pascal.malaise
2013-08-25 14:31 ` AdaMagica
2013-08-25 14:49   ` Niklas Holsti
2013-08-25 16:47     ` AdaMagica
2013-08-25 15:25 ` pascal.malaise [this message]
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox