From c4669f665c0c55007b35537eed400efcb6fe5155 Mon Sep 17 00:00:00 2001
From: Estevan Castilho <tevo@riajuu.net>
Date: Sat, 30 May 2026 02:52:53 +0000
Subject: Pull RNT from the `project-c-interface` branch

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

diff --git a/flake.lock b/flake.lock
index 59837c9..55f3f72 100644
--- a/flake.lock
+++ b/flake.lock
@@ -8,16 +8,16 @@
         "picosha2": "picosha2"
       },
       "locked": {
-        "lastModified": 1779079590,
-        "narHash": "sha256-AYny1AQxSudDaqq2XrHyuDJgyHAd58vW5i+GsEfdcpU=",
+        "lastModified": 1780107419,
+        "narHash": "sha256-/EzeLTkzy1D+vFhyZFDRYCdAlxylcLSZ8FLdmfjxQeA=",
         "owner": "mmagueta",
         "repo": "RNT",
-        "rev": "fdcc42675289ae69068dd02421ba6282c59301df",
+        "rev": "9e76c18df4a11f21f62162eb6123682830ca8569",
         "type": "github"
       },
       "original": {
         "owner": "mmagueta",
-        "ref": "branching",
+        "ref": "project-c-interface",
         "repo": "RNT",
         "type": "github"
       }
diff --git a/flake.nix b/flake.nix
index 67b905c..dfce23b 100644
--- a/flake.nix
+++ b/flake.nix
@@ -8,7 +8,7 @@
       type = "github";
       owner = "mmagueta";
       repo = "RNT";
-      ref = "branching";
+      ref = "project-c-interface";
       inputs.nixpkgs.follows = "nixpkgs";
     };
   };
@@ -188,7 +188,7 @@
               legacyPackages.coqPackages.stdlib
               legacyPackages.z3
             ];
-            
+
             shellHook = ''
               export CAML_LD_LIBRARY_PATH="''${CAML_LD_LIBRARY_PATH:+$CAML_LD_LIBRARY_PATH:}$(ocamlfind query num)"
               export RNT_ROOT="${rnt}"
-- 
cgit v1.2.3