var searchData=
[
  ['string_5fdelete',['string_delete',['../ntru__string_8c.html#ac1b5f66fbbbdfc7901357ddcfec52e5a',1,'string_delete(string *del_string): ntru_string.c'],['../ntru__string_8h.html#ac1b5f66fbbbdfc7901357ddcfec52e5a',1,'string_delete(string *del_string): ntru_string.c'],['../ntru_8h.html#ac1b5f66fbbbdfc7901357ddcfec52e5a',1,'string_delete(string *del_string): ntru_string.c']]]
];