[Date Prev][Date Next][Thread Prev][Thread Next][Author Index][Date Index][Thread Index]

TracePositions aren't Positions



The oroots table is just for debugging.  It's completely unnecessary
for execution.  The current implementation is fine.  

dean