// doubleInclude2.cc Illustrate what happens if you #include a file
// more than once

// P. Conrad for CISC181 04/05/06

#include "avo2.h"

#include "avo2.h"


int main(void)
{
  return 0;

}