From 66d0ffd13f5486d93b8fc21383fcc3ebae523a9e Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 4 Aug 2021 17:42:23 -0700 Subject: [PATCH] file name Signed-off-by: Nikolaj Bjorner --- src/math/bigfix/{LowStar_Endianess.h => LowStar_Endianness.h} | 0 src/math/bigfix/types.h | 2 +- 2 files changed, 1 insertion(+), 1 deletion(-) rename src/math/bigfix/{LowStar_Endianess.h => LowStar_Endianness.h} (100%) diff --git a/src/math/bigfix/LowStar_Endianess.h b/src/math/bigfix/LowStar_Endianness.h similarity index 100% rename from src/math/bigfix/LowStar_Endianess.h rename to src/math/bigfix/LowStar_Endianness.h diff --git a/src/math/bigfix/types.h b/src/math/bigfix/types.h index 67fd5b1bb..2eb51b39e 100644 --- a/src/math/bigfix/types.h +++ b/src/math/bigfix/types.h @@ -50,7 +50,7 @@ typedef struct FStar_UInt128_uint128_s { * latter is for internal use. */ typedef FStar_UInt128_uint128 FStar_UInt128_t, uint128_t; -#include "math/bigfix/LowStar_Endianess.h" +#include "math/bigfix/LowStar_Endianness.h" #endif