From d6054dd8bf4300e62a94fca1bdec46a65448781b Mon Sep 17 00:00:00 2001
From: Siddharth Priya <s2priya@uwaterloo.ca>
Date: Wed, 16 Oct 2024 10:57:04 -0400
Subject: [PATCH] fix: account for refactor

header files moved in mbedtls
---
 CMakeLists.txt | 5 ++++-
 mbedtls        | 2 +-
 seamock        | 2 +-
 3 files changed, 6 insertions(+), 3 deletions(-)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index 7bf849f..31262d9 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -65,5 +65,8 @@ set(VERIFY_CMD ${CMAKE_CURRENT_BINARY_DIR}/verify)
 include_directories(BEFORE ${CMAKE_CURRENT_BINARY_DIR}/seahorn/include/
                            ${SEAHORN_ROOT}/include
                            ${MBEDTLS_DIR}/include/mbedtls
-                           ${MBEDTLS_DIR}/tf-psa-crypto/include/)             
+                           ${MBEDTLS_DIR}/tf-psa-crypto/include/
+                           ${MBEDTLS_DIR}/tf-psa-crypto/core/
+                           ${MBEDTLS_DIR}/tf-psa-crypto/drivers/builtin/include/
+                           ${MBEDTLS_DIR}/tf-psa-crypto/drivers/builtin/src/)             
 add_subdirectory(seahorn)
diff --git a/mbedtls b/mbedtls
index c4dfc08..4e4647a 160000
--- a/mbedtls
+++ b/mbedtls
@@ -1 +1 @@
-Subproject commit c4dfc084648166a78548029ed423f274b64c08a4
+Subproject commit 4e4647a4e7ab4e88feb7dca9600e2800f1284d8c
diff --git a/seamock b/seamock
index 6833c23..634c828 160000
--- a/seamock
+++ b/seamock
@@ -1 +1 @@
-Subproject commit 6833c2327bd8e103526fd9234b9a50365b9237b9
+Subproject commit 634c82892e455a98a844a6f28e1113d4fc6b60e9