From 8e215bb41fdc7b07078b83c6fdd704e681d943cf Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Fri, 11 Nov 2022 16:08:03 +0100
Subject: Update the nix flake

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

diff --git a/flake.lock b/flake.lock
index d614ab97..e50e1606 100644
--- a/flake.lock
+++ b/flake.lock
@@ -8,11 +8,11 @@
         "rust-overlay": "rust-overlay_2"
       },
       "locked": {
-        "lastModified": 1668176687,
-        "narHash": "sha256-uPWct73AqMblEUNUAh46WewzQJpIF/SKOfpQ66P3P4E=",
+        "lastModified": 1668178584,
+        "narHash": "sha256-FOHzA3y/48Y1luWyOWocRIpLRa7khuS7+h7MtxSm1S4=",
         "owner": "aeneasverif",
         "repo": "charon",
-        "rev": "dcc11c103937e2f36bbab70454ad87e159cd7fa9",
+        "rev": "8d60acd93a165ff248595cebd0772d7db2e40d71",
         "type": "github"
       },
       "original": {
diff --git a/flake.nix b/flake.nix
index 664cf1c2..e3c5129f 100644
--- a/flake.nix
+++ b/flake.nix
@@ -50,7 +50,7 @@
             filter = path: type:
               path == toString ./Makefile
               || pkgs.lib.hasPrefix (toString ./compiler) path
-              || pkgs.lib.hasPrefix (toString ./fstar) path
+              || pkgs.lib.hasPrefix (toString ./backends) path
               || pkgs.lib.hasPrefix (toString ./tests) path;
           };
           buildPhase = ''
-- 
cgit v1.2.3