Re: *** ECLiPSe fatal error: Fatal signal caught in emulator

From: Joachim Schimpf <j.schimpf_at_icparc.ic.ac.uk>
Date: Sat 08 Jun 2002 09:48:14 PM GMT
Message-ID: <3D027B9E.C3AE68AF@icparc.ic.ac.uk> 
Ulrich Scholz wrote:
> 
> [eclipse 2]: f('u_7_5', X), prove_formula(X).
> 
> *** ECLiPSe fatal error: Fatal signal caught in emulator


Dear Ulrich,

Thanks for your report. We can reproduce the problem,
it seems to be related to the occurs check option used
in the code. We'll let you know when we know more.

Best regards,
-- 
 Joachim Schimpf              /             phone: +44 20 7594 8187
 IC-Parc, Imperial College   /            mailto:J.Schimpf@ic.ac.uk
 London SW7 2AZ, UK         /    http://www.icparc.ic.ac.uk/eclipse
Received on Sat Jun 08 22:48:14 2002

This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:08:16 PM GMT GMT