// File:      BinObjMgt_PInteger.hxx
// Created:   31.10.02 10:26:53
// Author:    Michael SAZONOV
// Copyright: Open CASCADE 2002

#ifndef BinObjMgt_PInteger_HeaderFile
#define BinObjMgt_PInteger_HeaderFile

#include <Standard_TypeDef.hxx>

typedef Standard_Integer* BinObjMgt_PInteger;

#endif