Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!usc!snorkelwacker.mit.edu!ai-lab!opal!mailgzrz!duns1222 From: duns1222@w203zrz.zrz.tu-berlin.de (Martin Dunschen) Newsgroups: comp.lang.eiffel Subject: Re: have you ever tried... Message-ID: <297@mailgzrz.tu-berlin.de> Date: 28 Mar 91 10:38:18 GMT References: my own article, same subject, couple of days ago Sender: news@mailgzrz.tu-berlin.de Organization: TUBerlin Lines: 9 Nntp-Posting-Host: w203zrz.zrz.tu-berlin.de Aah, Sorry to everyone! Of course I forgot to look in the SDF and check the "ALL_ASSERTION" line. But thanks to everybody who answered! Next time I will search for mistakes in my hacks, before bothering the readers of my favorite newsgroup. Martin