From e1a3216700427853bd5fba36e84da78b46b6cea0 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Fri, 22 May 2020 03:36:36 +0200
Subject: [declare] Nit on errors.

---
 vernac/declare.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/vernac/declare.ml b/vernac/declare.ml
index 65f0265b3e..5be819e109 100644
--- a/vernac/declare.ml
+++ b/vernac/declare.ml
@@ -1266,8 +1266,8 @@ let not_transp_msg =
     ++ spc ()
     ++ str "Use 'Defined' instead.")
 
-let pperror cmd = CErrors.user_err ~hdr:"Program" cmd
-let err_not_transp () = pperror not_transp_msg
+let err_not_transp () =
+  CErrors.user_err ~hdr:"Program" not_transp_msg
 
 module ProgMap = Id.Map
 
-- 
cgit v1.2.3