From aa1df7cba01802f7c2687c7dd5e516f237a2d91c Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 5 Aug 2021 04:40:35 -0700
Subject: [PATCH] include paths

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/math/bigfix/Hacl_Bignum.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/math/bigfix/Hacl_Bignum.h b/src/math/bigfix/Hacl_Bignum.h
index 453312856..b6ed5c69f 100644
--- a/src/math/bigfix/Hacl_Bignum.h
+++ b/src/math/bigfix/Hacl_Bignum.h
@@ -31,7 +31,7 @@ extern "C" {
 
 #include "math/bigfix/lib_intrinsics.h"
 #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"