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.3 required=5.0 tests=BAYES_00,FREEMAIL_FROM,
	INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,dbbfdf636aaea0f8
X-Google-Attributes: gid103376,public
From: "Nick Roberts" <nickroberts@callnetuk.com>
Subject: Re: modular arithmetic bug in gnat?
Date: 2000/02/16
Message-ID: <38aaf153@eeyore.callnetuk.com>#1/1
X-Deja-AN: 586624525
References: <38A144A0.141EA33F@chelmsford.com>
X-Original-NNTP-Posting-Host: da129d182.dialup.callnetuk.com
X-Trace: 16 Feb 2000 18:49:55 GMT, da129d182.dialup.callnetuk.com
X-MSMail-Priority: Normal
X-Priority: 3
Newsgroups: comp.lang.ada
X-MimeOLE: Produced By Microsoft MimeOLE V5.00.2919.6600
Date: 2000-02-16T00:00:00+00:00
List-Id: <comp.lang.ada>

Yes, I certainly agree. GNAT bug, I think.

--
Nick Roberts
http://www.adapower.com/lab/adaos