From b1732124ef894143fd064dbdb785cc11e218dd3a Mon Sep 17 00:00:00 2001
From: Lucas Franceschino <lucas.franceschino@inria.fr>
Date: Thu, 18 Jan 2024 07:18:49 +0100
Subject: [PATCH] fix(nix): use default branch instead of `nix-expose-lib`

---
 flake.lock | 5 ++---
 flake.nix  | 2 +-
 2 files changed, 3 insertions(+), 4 deletions(-)

diff --git a/flake.lock b/flake.lock
index 3e9ee4a..4562773 100644
--- a/flake.lock
+++ b/flake.lock
@@ -167,16 +167,15 @@
         ]
       },
       "locked": {
-        "lastModified": 1705484823,
+        "lastModified": 1705542599,
         "narHash": "sha256-wNtuRRvMzRzBE2xKreNSM9uJecDHFUXyug1+O9t+eyQ=",
         "owner": "FStarLang",
         "repo": "karamel",
-        "rev": "91952a800a030ed6b87d523811e953f1983eb2ea",
+        "rev": "fdf6a10aa22f9b1b3effffeeb270229447b5bb9b",
         "type": "github"
       },
       "original": {
         "owner": "FStarLang",
-        "ref": "nix-expose-lib",
         "repo": "karamel",
         "type": "github"
       }
diff --git a/flake.nix b/flake.nix
index 39f9a44..529cb9d 100644
--- a/flake.nix
+++ b/flake.nix
@@ -1,7 +1,7 @@
 {
   inputs = {
     flake-utils.url = "github:numtide/flake-utils";
-    karamel.url = "github:FStarLang/karamel/nix-expose-lib";
+    karamel.url = "github:FStarLang/karamel";
     fstar.url = "github:FStarLang/fstar";
 
     nixpkgs.follows = "karamel/nixpkgs";