Closed astory closed 12 years ago
Queries allocate sequential IDs that are use in both SAT testing and to make them a member of Ord. If IDs are not unique, bad things happen, but we don't currently assign them in a threadsafe way, so they could be non-unique.
Queries allocate sequential IDs that are use in both SAT testing and to make them a member of Ord. If IDs are not unique, bad things happen, but we don't currently assign them in a threadsafe way, so they could be non-unique.