Re: Bug in eclipse - can't parse large term

Joachim Schimpf writes:
| Peter Baumgartner wrote:
| 
| thanks for you report.  An immediate workaround is to move the
| problematic term from the head to the body of the clause, e.g.
| 
| eq(X,X).
| 
| crash_term(X) :- eq(X, <the big term> ).
| 

Many thanks for the quick reply!
Yes, I think this will do it for the time being.

Cheers

	Peter