From 9d5349ff10e435e4fca789076aec9ec77528fc91 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 5 Aug 2021 04:49:11 -0700 Subject: [PATCH] include paths Signed-off-by: Nikolaj Bjorner --- src/math/bigfix/fstar_uint128_gcc64.h | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/math/bigfix/fstar_uint128_gcc64.h b/src/math/bigfix/fstar_uint128_gcc64.h index e0b8926f1..9ddb4e310 100644 --- a/src/math/bigfix/fstar_uint128_gcc64.h +++ b/src/math/bigfix/fstar_uint128_gcc64.h @@ -23,9 +23,9 @@ #ifndef FSTAR_UINT128_GCC64 #define FSTAR_UINT128_GCC64 -#include "math/bigfix/kremlib/FStar_UInt128.h" -#include "math/bigfix/kremlib/FStar_UInt_8_16_32_64.h" -#include "math/bigfix/kremlib/LowStar_Endianness.h" +#include "math/bigfix/FStar_UInt128.h" +#include "math/bigfix/FStar_UInt_8_16_32_64.h" +#include "math/bigfix/LowStar_Endianness.h" /* GCC + using native unsigned __int128 support */