The position-info implementation keeps resulting in segmentation faults. Replace with a simpler implementation in C operating on pure aterms.

Submitted on 8 October 2008 at 16:37

On 10 October 2008 at 13:33 Jira commented:

STR-759, martin:
Added in revision 18223.

Log in to post comments