Tom Tromey wrote: >>>>>> "Michael" == Michael Snyder writes: > > Michael> No, honest, it *does* fall through! > Michael> I had to use a printf statement to convince myself. ;-) > Michael> When the user answers "yes" to the query, it falls through. > > Yeah. Your patch is correct, or at least correct-enough. > Adding a "break" would also be correct, because sals.nelts is never 0 at > the end of this case. > > Tom OK then, I'd rather break than fall through. Committed as attached.