[foxtrot] changes to successfulresult

Matej Pfajfar mp292@hermes.cam.ac.uk
Sat, 24 Feb 2001 11:45:45 +0000 (GMT)


I'll update the javadoc now!
Al I thought you were *just* going to add another constructor? The old
testing code should compile!

Mat

On Sat, 24 Feb 2001, M. Shreeve wrote:

> Hello
> Just a quick query:  Has SuccessfulResult's spec been changed and the
> change not reflected in javadoc?  This is kind of annoying since a fair
> amount of test code now doesn't compile.  If the change is now permanent
> then Shahrum and I will make the necessary changes.  Mat - this may delay
> us a little...
> 
> See you all around,
> 
> Matt
> 
> 
> 
> _______________________________________________
> Foxtrot mailing list
> Foxtrot@srcf.ucam.org
> http://www.srcf.ucam.org/mailman/listinfo/foxtrot
> 

Matej Pfajfar
St John's College, University of Cambridge, UK

PGP Public Key @ www.telesat.si/~badbytes
Most people are good people, the rest of us are going to 
run the world. -- badbytes