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.nix | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'flake.nix')

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