From bd1a091fdd8c403006b680f1bf01556a7eb1d734 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Wed, 2 Oct 2024 16:34:53 +0200
Subject: [PATCH] fix deprecation warnings

---
 theories/logrel/persistent_pred.v | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/theories/logrel/persistent_pred.v b/theories/logrel/persistent_pred.v
index 51bee4de..7639cfff 100644
--- a/theories/logrel/persistent_pred.v
+++ b/theories/logrel/persistent_pred.v
@@ -10,7 +10,7 @@ Section persistent_pred.
     pers_pred_car :> A → PROP;
     pers_pred_persistent x : Persistent (pers_pred_car x)
   }.
-  Local Arguments PersPred _%I {_}.
+  Local Arguments PersPred _%_I {_}.
   Global Existing Instances pers_pred_persistent.
 
   Local Instance persistent_pred_equiv : Equiv persistent_pred :=
@@ -46,6 +46,6 @@ Section persistent_pred.
 
 End persistent_pred.
 
-Global Arguments PersPred {_ _} _%I {_}.
+Global Arguments PersPred {_ _} _%_I {_}.
 Global Arguments pers_pred_car {_ _} !_ _.
 Global Instance: Params (@pers_pred_car) 2 := {}.
-- 
GitLab