c_endianness.h (354B)
1 /* Copyright (c) INRIA and Microsoft Corporation. All rights reserved. 2 Licensed under the Apache 2.0 and MIT Licenses. */ 3 4 #ifndef KRML_HEADER_ENDIAN_H 5 #define KRML_HEADER_ENDIAN_H 6 7 #ifdef __GNUC__ 8 #warning "c_endianness.h is deprecated, include lowstar_endianness.h instead" 9 #endif 10 11 #include "lowstar_endianness.h" 12 13 #endif /* KRML_HEADER_ENDIAN_H */