comp.lang.ada
 help / color / mirror / Atom feed
From: Ben Hocking <benjaminhocking@gmail.com>
Subject: Re: Need help understanding SPARK substitution rules
Date: Thu, 21 Jun 2012 05:56:53 -0700 (PDT)
Date: 2012-06-21T05:56:53-07:00	[thread overview]
Message-ID: <1ffbc3fa-e55b-4ef2-9706-8c7c01592590@googlegroups.com> (raw)
In-Reply-To: <84581b9d-040b-493b-a8af-ab3499001b5d@googlegroups.com>

That solved the problem without the distaste.

Thanks, Phil.
-Ben



      parent reply	other threads:[~2012-06-21 12:56 UTC|newest]

Thread overview: 3+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2012-06-20 18:30 Need help understanding SPARK substitution rules Ben Hocking
2012-06-21  8:47 ` Phil Thornley
2012-06-21 12:56 ` Ben Hocking [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