/*************************************************************************************************/
/*!
 *  \file   wsf_types.h
 *        
 *  \brief  Platform-independent data types.
 *
 *          $Date: 2012-04-28 22:02:14 -0700 (Sat, 28 Apr 2012) $
 *          $Revision: 306 $
 *  
 *  Copyright (c) 2009-2016 ARM Limited. All rights reserved.
 *
 *  SPDX-License-Identifier: LicenseRef-PBL
 *
 *  Licensed under the Permissive Binary License, Version 1.0 (the "License"); you may not use
 *  this file except in compliance with the License.  You may obtain a copy of the License at
 *
 *  https://www.mbed.com/licenses/PBL-1.0
 *
 *  See the License for the specific language governing permissions and limitations under the License.
 */
/*************************************************************************************************/
#ifndef WSF_TYPES_H
#define WSF_TYPES_H

#include <rtx_core_cm.h>

#endif /* WSF_TYPES_H */