diff --git a/src/kernel_services/ast_queries/logic_typing.ml b/src/kernel_services/ast_queries/logic_typing.ml
index 22360e6fe582f10b98ea8bdecadcd3dd33548905..c9aee7e92c1b51c43cbf988a36ac8425959ed223 100644
--- a/src/kernel_services/ast_queries/logic_typing.ml
+++ b/src/kernel_services/ast_queries/logic_typing.ml
@@ -550,14 +550,13 @@ module Extensions = struct
 
   let is_extension name = !ref_is_extension name
 
-  let typer name ~(typing_context:typing_context) ~(loc:location) =
+  let typer name ~typing_context ~loc =
     !ref_typer name typing_context loc
 
-  let typer_block name ~(typing_context:typing_context) ~(loc:location) mId =
+  let typer_block name ~typing_context ~loc mId =
     !ref_typer_block name typing_context loc mId
 
-  let importer name ~(builder:module_builder) ~(loc:location)
-      (moduleId: string list) : unit =
+  let importer name ~builder ~loc (moduleId: string list) : unit =
     !ref_importer name builder loc moduleId
 
 end