PACKET flint manager                        (* Autor: Thomas Berlage *)
                                            (* Stand: 15.01.88       *) 
  DEFINES

  continue :


PROC continue (TASK CONST t) :

  continue (t,
    PROC (DATASPACE VAR, INT CONST, INT CONST, TASK CONST) eudas manager)

END PROC continue;

END PACKET flint manager;