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