From 0b7666035982b18cefe1f6ef46f63b3278d5dfd8 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 4 Aug 2021 17:24:23 -0700
Subject: [PATCH] case sensitive

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

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