From a8c8fd1f52f90606f5aaf4f4b810b70aabc9caa2 Mon Sep 17 00:00:00 2001
From: Yves Bertot
Date: Tue, 31 Mar 2020 17:33:14 +0200
Subject: remove deprecated commands whose deprecation was introduced in
 release 1.9.0 fixes #418

---
 mathcomp/fingroup/perm.v | 4 ----
 1 file changed, 4 deletions(-)

(limited to 'mathcomp/fingroup')

diff --git a/mathcomp/fingroup/perm.v b/mathcomp/fingroup/perm.v
index 34f230e..eb5e028 100644
--- a/mathcomp/fingroup/perm.v
+++ b/mathcomp/fingroup/perm.v
@@ -576,7 +576,3 @@ Qed.
 End LiftPerm.
 
 Prenex Implicits lift_perm lift_permK.
-
-Notation tuple_perm_eqP :=
-  (deprecate tuple_perm_eqP tuple_permP) (only parsing).
-
-- 
cgit v1.2.3