/*
 *
 * This file and its contents are the property of The MathWorks, Inc.
 * 
 * This file contains confidential proprietary information.
 * The reproduction, distribution, utilization or the communication
 * of this file or any part thereof is strictly prohibited.
 * Offenders will be held liable for the payment of damages.
 *
 * Copyright 1999-2012 The MathWorks, Inc.
 *
 */
#ifndef __polyspace__stddef_h
#define __polyspace__stddef_h

#ifdef PST_HAS_STD_DEF
# include <stddef.h>
#else

  // macros correctly set by packaging or __polyspace__std_decls.h
  typedef __SIZE_TYPE__    size_t;
  typedef __PTRDIFF_TYPE__ ptrdiff_t;

#endif

#endif