From 02e75ed4a255a8575608cabfa7bbf4a0f04499ac Mon Sep 17 00:00:00 2001
From: Tahina Ramananandro <taramana@microsoft.com>
Date: Fri, 9 Aug 2024 13:05:36 -0700
Subject: [PATCH] advance F*, Karamel

---
 FStar   | 2 +-
 karamel | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/FStar b/FStar
index 6e20d76e0..c3d495442 160000
--- a/FStar
+++ b/FStar
@@ -1 +1 @@
-Subproject commit 6e20d76e09f66dc3eea5c40eac008ea1338ceef1
+Subproject commit c3d49544236797e54bfa10f65e4c2b17b543fd30
diff --git a/karamel b/karamel
index ed6d97295..f9cdef256 160000
--- a/karamel
+++ b/karamel
@@ -1 +1 @@
-Subproject commit ed6d9729569515ce55c683ebd10449543610624e
+Subproject commit f9cdef256a2b88282398a609847b34dd8c9cf3e3