From fc718d4e0fc3b7db653e20850a4ed95a7ba383cd Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 4 Aug 2021 17:40:50 -0700 Subject: [PATCH] lower/upper case Signed-off-by: Nikolaj Bjorner --- src/math/bigfix/types.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/math/bigfix/types.h b/src/math/bigfix/types.h index 2eb51b39e..67fd5b1bb 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_Endianness.h" +#include "math/bigfix/LowStar_Endianess.h" #endif