var searchData=
[
  ['newhope_2dsmall_2edox',['newhope-small.dox',['../newhope-small_8dox.html',1,'']]]
];