// File:	OSD_ThreadId.hxx
// Created:	Fri Mar 10 17:00:00 2006
// Author:	data exchange team
//		<det@decex.nnov.opencascade.com>


#ifndef OSD_ThreadId_HeaderFile
#define OSD_ThreadId_HeaderFile

// Platform-dependent definition of the thread identifier type

#ifdef WNT

#include <windows.h>
typedef DWORD OSD_ThreadId;

#else

#include <pthread.h>
typedef pthread_t OSD_ThreadId;

#endif

#endif
