diff --git a/doc/html/programmer.guide.html b/doc/html/programmer.guide.html index 787759db01765d2fb28684f882ce12d9a015a7b8..a8de0660b621887614e57fbe71faead604fb4a04 100644 --- a/doc/html/programmer.guide.html +++ b/doc/html/programmer.guide.html @@ -444,6 +444,10 @@ main (int argc, char *argv[]) break; for (k = part_ptr[i].node_inx[j]; k <= part_ptr[i].node_inx[j+1]; k++) { + if (k > node_buffer_ptr->node_count) { + printf ("Node index out of sync\n"); + break; + } printf("%s,", node_ptr[k].name); } }