Merge branch 'master' of github.com:FStarLang/kremlin into protz_eaddrof

FStarLang · Oct 5, 2021 · 6c0592b · 6c0592b
2 parents f0f4142 + 3e50237
commit 6c0592b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/include/kremlin/lowstar_endianness.h b/include/kremlin/lowstar_endianness.h
@@ -12,7 +12,7 @@
 /******************************************************************************/
 
 /* ... for Linux */
-#if defined(__linux__) || defined(__CYGWIN__) || defined (__USE_SYSTEM_ENDIAN_H__)
+#if defined(__linux__) || defined(__CYGWIN__) || defined (__USE_SYSTEM_ENDIAN_H__) || defined(__GLIBC__)
 #  include <endian.h>
 
 /* ... for OSX */