/*
 * @file    stream_buffer.h
 * @author  Frederic Pillon <frederic.pillon@st.com> for STMicroelectronics.
 * @brief   Include header file to match Arduino library format
 */
#ifndef _ARDUINO_STREAM_BUFFER_H_
#define _ARDUINO_STREAM_BUFFER_H_

#include "FreeRTOS/Source/include/stream_buffer.h"

#endif //_ARDUINO_STREAM_BUFFER_H_