Sort and remove duplicate from text query results (needed for the
authorKim Nguyễn <kn@lri.fr>
Wed, 14 Mar 2012 12:46:30 +0000 (13:46 +0100)
committerKim Nguyễn <kn@lri.fr>
Wed, 14 Mar 2012 12:51:18 +0000 (13:51 +0100)
commit8a31bd5c0847ca9c45627cb808a57d9c07c7b0dc
tree720c487d05a29e9ae646f6be7be894ad73f16426
parent8c3aa2796959837e89a86d0076cdec89a46d9bb6
Sort and remove duplicate from text query results (needed for the
word-based text index).
src/OCamlDriver.cpp