Hello-
On Tue, 21 Dec 1999, friedman_hill ernest j wrote:
> Hi David,
>
> I needed to use 5.0b3 to reproduce the problem: both my current
> working copy and Jess44 do the right thing (you didn't say what
> version you were using.) Anyway, I believe this is a symptom of a bug
> in 5.0b3 I've already fixed; here's the appropriate patch:
>
Sorry for not mentioning the version. I thought I was using 5.0b3, but
I was actually using b2. I believe there was a previous thread on the
same problem about a month ago (also something I missed).
Anyways, thanks for the patch. It solved the problem.
-Dave Barnett
---------------------------------------------------------------------
To unsubscribe, send the words 'unsubscribe jess-users [EMAIL PROTECTED]'
in the BODY of a message to [EMAIL PROTECTED], NOT to the
list (use your own address!) List problems? Notify [EMAIL PROTECTED]
---------------------------------------------------------------------