From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,b36bbdc1595d0665
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII
Path: 
 g2news1.google.com!news1.google.com!news.glorb.com!feeder.erje.net!nuzba.szn.dk!news.jacob-sparre.dk!pnx.dk!not-for-mail
From: Jacob Sparre Andersen <sparre@nbi.dk>
Newsgroups: comp.lang.ada
Subject: Re: SPARK code samples
Date: Thu, 12 Aug 2010 15:58:15 +0200
Organization: Jacob Sparre Andersen
Message-ID: <8739ukrkzs.fsf@hugsarin.sparre-andersen.dk>
References: <1iq8kg021bo4v$.s51i2enx3fzo.dlg@40tude.net>
	<op.vg945ry9xmjfy8@garhos>
	<1lvyv3r0md69x.1cz8ylwiupqva$.dlg@40tude.net>
	<op.vha0bzhexmjfy8@garhos>
	<87bp98rwo3.fsf@hugsarin.sparre-andersen.dk>
	<op.vhbu2bv7xmjfy8@garhos>
NNTP-Posting-Host: 95.209.230.139.bredband.3.dk
Mime-Version: 1.0
Content-Type: text/plain; charset=iso-8859-1
Content-Transfer-Encoding: 8bit
X-Trace: munin.nbi.dk 1281621496 22383 95.209.230.139 (12 Aug 2010 13:58:16
 GMT)
X-Complaints-To: news@jacob-sparre.dk
NNTP-Posting-Date: Thu, 12 Aug 2010 13:58:16 +0000 (UTC)
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.1 (gnu/linux)
Cancel-Lock: sha1:xt7Mi8vUJkcjC3QtATruldYRFKM=
Xref: g2news1.google.com comp.lang.ada:13179
Date: 2010-08-12T15:58:15+02:00
List-Id: <comp.lang.ada>

Yannick Duch�ne wrote:
> Le Thu, 12 Aug 2010 11:46:04 +0200, Jacob Sparre Andersen
> <sparre@nbi.dk> a �crit:

>> I think you have made the problem much too complicated.  Isn't this
>> sufficient?  (I haven't got a SPARK Examiner right here.)

> Agree with this one.
> Would you like to post yours ?

Feel free to post it once you've checked it in SPARK Examiner.

Jacob
-- 
Black Hole: Where the universe made a Divide by Zero.