From cd98683172761ec9659ad981769b0900913acc3c Mon Sep 17 00:00:00 2001
From: Estevan Castilho <tevo@riajuu.net>
Date: Sat, 6 Jun 2026 01:47:07 +0000
Subject: Bump `RNT` to a version including the new unified planner interface

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

diff --git a/flake.lock b/flake.lock
index 59837c9..7bb3270 100644
--- a/flake.lock
+++ b/flake.lock
@@ -8,16 +8,16 @@
         "picosha2": "picosha2"
       },
       "locked": {
-        "lastModified": 1779079590,
-        "narHash": "sha256-AYny1AQxSudDaqq2XrHyuDJgyHAd58vW5i+GsEfdcpU=",
+        "lastModified": 1780706444,
+        "narHash": "sha256-POVEukSjJOs/oud/HiQZEOR5M6ZMlrhsXIteKAS2bCw=",
         "owner": "mmagueta",
         "repo": "RNT",
-        "rev": "fdcc42675289ae69068dd02421ba6282c59301df",
+        "rev": "5174fc25698cff33b03b5746bf1742e417988f7d",
         "type": "github"
       },
       "original": {
         "owner": "mmagueta",
-        "ref": "branching",
+        "ref": "5174fc2",
         "repo": "RNT",
         "type": "github"
       }
diff --git a/flake.nix b/flake.nix
index 67b905c..286dee9 100644
--- a/flake.nix
+++ b/flake.nix
@@ -8,7 +8,7 @@
       type = "github";
       owner = "mmagueta";
       repo = "RNT";
-      ref = "branching";
+      ref = "5174fc2";
       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