scsh-users
[Top] [All Lists]

Re: Error on Interface Mutation

To: Martin Gasbichler <gasbichl@informatik.uni-tuebingen.de>
Subject: Re: Error on Interface Mutation
From: RT Happe <rthappe@mathematik.uni-freiburg.de>
Date: Thu, 13 Feb 2003 21:34:33 +0100 (CET)
Cc: <scsh-bugs@zurich.ai.mit.edu>
On Thu, 13 Feb 2003, Martin Gasbichler wrote:

> Here is the patch, a simple "make" afterwards should suffice. It would
> be great if you could report whether this seems to have fixed the
> problem.

Seems to work, thank you.

rthappe



<Prev in Thread] Current Thread [Next in Thread>