var searchData=
[
['string_5fdelete',['string_delete',['../ntru_8h.html#ac1b5f66fbbbdfc7901357ddcfec52e5a',1,'ntru.h']]]
];