WITH Ada.Text_IO;
WITH Room;
PROCEDURE Diners IS
------------------------------------------------------------------------
--| Dining Philosophers - Ada 95 edition
--| This is the main program, responsible only for telling the
--| Maitre_D to get busy.
--| Author: Michael B. Feldman, The George Washington University 
--| Last Modified: January 1996                                     
------------------------------------------------------------------------

BEGIN -- Diners

  Ada.Text_IO.New_Line;     -- artifice to flush output buffer
  Room.Maitre_D.Start_Serving;

END Diners;