At a quick glance this looks like a reasonable way to fix without
messing with the current filter code. Luckily, I don't think the str
argument is used. I'm not completely clear on the error case, is the
idea just to give up if we hit an error in some call?
- D.
On 09/01/13 20:53, Hendrik Tews wrote:
Hi,
here is a patch that solves the problem for me. Any comments?
Bye,
Hendrik
_______________________________________________
ProofGeneral-devel mailing list
ProofGeneral-devel@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel
_______________________________________________
ProofGeneral-devel mailing list
ProofGeneral-devel@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel
--
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.