From df8b5c7d83ad6e88af34d29bcc32c85bd42c2712 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Tue, 17 Mar 2020 11:16:09 +0100
Subject: Adapting standard library, doc and test suite to ident->name
 renaming.

---
 theories/Program/Utils.v | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'theories/Program')

diff --git a/theories/Program/Utils.v b/theories/Program/Utils.v
index 9c8508bf39..b2bdd8099a 100644
--- a/theories/Program/Utils.v
+++ b/theories/Program/Utils.v
@@ -18,7 +18,7 @@ Set Implicit Arguments.
 
 Notation "{ ( x , y )  :  A  |  P }" :=
   (sig (fun anonymous : A => let (x,y) := anonymous in P))
-  (x ident, y ident, at level 10) : type_scope.
+  (x name, y name, at level 10) : type_scope.
 
 Declare Scope program_scope.
 Delimit Scope program_scope with prg.
-- 
cgit v1.2.3