(* ----------------------------------------------------------------------------
 * $Id: setjmp.mi,v 1.1 1993/03/22 10:22:20 kredel Exp $
 * ----------------------------------------------------------------------------
 * This file is part of MAS.
 * ----------------------------------------------------------------------------
 * Copyright (c) 1989 - 1992 Universitaet Passau
 * ----------------------------------------------------------------------------
 * $Log: setjmp.mi,v $
 * Revision 1.1  1993/03/22  10:22:20  kredel
 * Initial Revision
 *
 * ----------------------------------------------------------------------------
 *)

IMPLEMENTATION MODULE setjmp;

(* Setjmp Dummy Implementation Module. *)

END setjmp.
(* -EOF- *)