STR-759: New location annotation implementation
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
Issue Log
On 10 October 2008 at 13:33 Jira commented:
STR-759, martin:
Added in revision 18223.
Log in to post comments