From 95797c84b0a9125f12fafd7992d57cdbe581b1b1 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 4 Aug 2021 17:09:06 -0700
Subject: [PATCH] include paths

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

diff --git a/src/math/bigfix/Hacl_Bignum256.h b/src/math/bigfix/Hacl_Bignum256.h
index 783d7d09a..032720eff 100644
--- a/src/math/bigfix/Hacl_Bignum256.h
+++ b/src/math/bigfix/Hacl_Bignum256.h
@@ -29,7 +29,7 @@
 extern "C" {
 #endif
 
-#include "math/bigfix/internal/types.h"
+#include "math/bigfix/kremlin/internal/types.h"
 #include "math/bigfix/kremlin/lowstar_endianness.h"
 #include <string.h>
 #include "math/bigfix/kremlin/internal/target.h"