blob: 21d7e1b4f9f135d5aacd20af800ae2d89e3147f7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
/* Copyright (c) INRIA and Microsoft Corporation. All rights reserved.
Licensed under the Apache 2.0 License. */
#ifndef __KRML_ENDIAN_H
#define __KRML_ENDIAN_H
#ifdef __GNUC__
#warning "c_endianness.h is deprecated, include lowstar_endianness.h instead"
#endif
#include "lowstar_endianness.h"
#endif
|
