/* SPDX-License-Identifier: Apache-2.0 */
/*
 * Copyright (C) 2015-2020 Micron Technology, Inc.  All rights reserved.
 */

#ifndef HSE_PLATFORM_ASSERT_H
#define HSE_PLATFORM_ASSERT_H

#include <hse_util/base.h>

#include <assert.h>

#endif
