From f49fdc4a31630193ead5c75800ff8f822529eb33 Mon Sep 17 00:00:00 2001
From: Pierre Roux <pierre.roux@onera.fr>
Date: Wed, 1 Apr 2026 15:08:56 +0200
Subject: [PATCH] Adapt to https://github.com/rocq-prover/rocq/pull/21849

---
 finmap.v | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/finmap.v b/finmap.v
index 83bfbb8..b936d4f 100644
--- a/finmap.v
+++ b/finmap.v
@@ -485,7 +485,7 @@ Definition finset_of (_ : phant K) := finSet.
 
 End Def.
 
-Arguments finSet K%type_scope.
+Arguments finSet K%_type_scope.
 
 #[warning="-deprecated-reference"]
 Identity Coercion type_of_finset : finset_of >-> finSet.
@@ -2977,7 +2977,7 @@ Local Notation finMap' := {domf : _ & T_ domf}.
 
 End DefMap.
 
-Arguments finMap K%type_scope V%type_scope.
+Arguments finMap K%_type_scope V%_type_scope.
 
 Notation "{ 'fmap' K -> T }" := (finMap K T) : type_scope.