// $Id: richutildef.h,v 1.3 2002-09-25 16:19:58 eberl Exp $
// Last update by Thomas Eberl: 02/09/25 18:17:58
//
#ifndef __RichUtilDEF_H
#define __RichUtilDEF_H

#include "haddef.h"
#include "richdef.h"


#endif