From 94cfcf843ae3a1d4692691a4f7a1cdc4fe12806d Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 4 Aug 2021 17:30:10 -0700
Subject: [PATCH] case sensitive

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/math/bigfix/{lowstar_endianness.h => LowStar_Endianess.h} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename src/math/bigfix/{lowstar_endianness.h => LowStar_Endianess.h} (100%)

diff --git a/src/math/bigfix/lowstar_endianness.h b/src/math/bigfix/LowStar_Endianess.h
similarity index 100%
rename from src/math/bigfix/lowstar_endianness.h
rename to src/math/bigfix/LowStar_Endianess.h