//
// ave.h: header file for getAve
//

// sets ave to the average of the non-empty array nums
//   precondition: size > 0
void getAve(const int nums[], int size, double &ave);