From 22bb101bae56a56a7bcdad2562daf5150ee9408b Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Tue, 9 Jun 2020 04:18:04 +0200
Subject: [declare] Nit on hook call.

---
 vernac/declare.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/vernac/declare.ml b/vernac/declare.ml
index fc52c05793..011e00eb2d 100644
--- a/vernac/declare.ml
+++ b/vernac/declare.ml
@@ -1072,7 +1072,7 @@ let declare_entry_core ~name ~scope ~kind ?hook ~obls ~impargs ~uctx entry =
   in
   let () = Impargs.maybe_declare_manual_implicits false dref impargs in
   let () = definition_message name in
-  Option.iter (fun hook -> Hook.call ~hook { Hook.S.uctx; obls; scope; dref }) hook;
+  Hook.call ?hook { Hook.S.uctx; obls; scope; dref };
   dref
 
 let declare_entry = declare_entry_core ~obls:[]
-- 
cgit v1.2.3