diff --git a/src/kernel_services/ast_queries/logic_typing.ml b/src/kernel_services/ast_queries/logic_typing.ml
index c255a3c6a8709e28d1f43d2d8fe42947ebae5fcc..f855e46565028d2688eaf214588451e066668753 100644
--- a/src/kernel_services/ast_queries/logic_typing.ml
+++ b/src/kernel_services/ast_queries/logic_typing.ml
@@ -539,11 +539,12 @@ module Extensions = struct
     end
 
   let typer name ~typing_context:typing_context ~loc p =
-    try
-      let status,typer = find_typer name in
-      status, typer ~typing_context ~loc p
-    with Not_found ->
-      Kernel.fatal ~source:(fst loc) "unsupported clause of name '%s'" name
+    let status,typer =
+      try find_typer name
+      with Not_found ->
+        Kernel.fatal ~source:(fst loc) "unsupported clause of name '%s'" name
+    in
+    status, typer ~typing_context ~loc p
 end
 
 let register_behavior_extension name f =