From: xorque <xorquewasp@googlemail.com>
Subject: Re: Workaround for invariant SPARK condition
Date: Thu, 25 Jun 2009 04:19:32 -0700 (PDT)
Date: 2009-06-25T04:19:32-07:00 [thread overview]
Message-ID: <c5a0b85f-f80e-47f4-a45a-f305a509f72d@f10g2000vbf.googlegroups.com> (raw)
In-Reply-To: 7095b2b3-b3da-4892-b047-6b2da72c157f@o36g2000vbi.googlegroups.com
Thanks.
I wasn't aware of the accept annotation.
prev parent reply other threads:[~2009-06-25 11:19 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2009-06-24 23:03 Workaround for invariant SPARK condition xorque
2009-06-25 7:48 ` Phil Thornley
2009-06-25 8:50 ` Rod Chapman
2009-06-25 11:19 ` xorque [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