From 5c6c6014907a842382b4bf26944a3f2020ba3e90 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 4 Aug 2021 17:33:13 -0700
Subject: [PATCH] lower/upper case

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/math/bigfix/FStar_UInt128.h            | 2 +-
 src/math/bigfix/FStar_UInt_8_16_32_64.h    | 2 +-
 src/math/bigfix/Hacl_Bignum256.h           | 2 +-
 src/math/bigfix/Hacl_Bignum_Base.h         | 2 +-
 src/math/bigfix/Hacl_IntTypes_Intrinsics.h | 2 +-
 5 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/src/math/bigfix/FStar_UInt128.h b/src/math/bigfix/FStar_UInt128.h
index 67d6a6070..a87a3f2fb 100644
--- a/src/math/bigfix/FStar_UInt128.h
+++ b/src/math/bigfix/FStar_UInt128.h
@@ -8,7 +8,7 @@
 #define __FStar_UInt128_H
 #include <inttypes.h>
 #include <stdbool.h>
-#include "math/bigfix/lowstar_endianness.h"
+#include "math/bigfix/LowStar_Endianness.h"
 #include "math/bigfix/types.h"
 #include "math/bigfix/target.h"
 
diff --git a/src/math/bigfix/FStar_UInt_8_16_32_64.h b/src/math/bigfix/FStar_UInt_8_16_32_64.h
index 6f7bbc448..ca39d58ec 100644
--- a/src/math/bigfix/FStar_UInt_8_16_32_64.h
+++ b/src/math/bigfix/FStar_UInt_8_16_32_64.h
@@ -8,7 +8,7 @@
 #define __FStar_UInt_8_16_32_64_H
 #include <inttypes.h>
 #include <stdbool.h>
-#include "math/bigfix/lowstar_endianness.h"
+#include "math/bigfix/LowStar_Endianness.h"
 #include "math/bigfix/types.h"
 #include "math/bigfix/target.h"
 
diff --git a/src/math/bigfix/Hacl_Bignum256.h b/src/math/bigfix/Hacl_Bignum256.h
index 1d092a3b4..399a383a6 100644
--- a/src/math/bigfix/Hacl_Bignum256.h
+++ b/src/math/bigfix/Hacl_Bignum256.h
@@ -30,7 +30,7 @@ extern "C" {
 #endif
 
 #include "math/bigfix/types.h"
-#include "math/bigfix/lowstar_endianness.h"
+#include "math/bigfix/LowStar_Endianness.h"
 #include <string.h>
 #include "math/bigfix/target.h"
 
diff --git a/src/math/bigfix/Hacl_Bignum_Base.h b/src/math/bigfix/Hacl_Bignum_Base.h
index acae212ec..8fc5d7a9f 100644
--- a/src/math/bigfix/Hacl_Bignum_Base.h
+++ b/src/math/bigfix/Hacl_Bignum_Base.h
@@ -30,7 +30,7 @@ extern "C" {
 #endif
 
 #include "math/bigfix/types.h"
-#include "math/bigfix/lowstar_endianness.h"
+#include "math/bigfix/LowStar_Endianness.h"
 #include <string.h>
 #include "math/bigfix/target.h"
 
diff --git a/src/math/bigfix/Hacl_IntTypes_Intrinsics.h b/src/math/bigfix/Hacl_IntTypes_Intrinsics.h
index 68bbfbef1..13140c406 100644
--- a/src/math/bigfix/Hacl_IntTypes_Intrinsics.h
+++ b/src/math/bigfix/Hacl_IntTypes_Intrinsics.h
@@ -30,7 +30,7 @@ extern "C" {
 #endif
 
 #include "math/bigfix/types.h"
-#include "math/bigfix/lowstar_endianness.h"
+#include "math/bigfix/LowStar_Endianness.h"
 #include <string.h>
 #include "math/bigfix/target.h"