// FILE: DspInsDr.cpp
// Driver for function "instruct_user"

#include <iostream.h>
#include "DispInst.cpp"

// Driver (not included in the text)

int main ()
{
   // Call instruct
   instruct_user ();

   return 0;
}