diff --git a/src/kernel_services/ast_queries/acsl_extension.mli b/src/kernel_services/ast_queries/acsl_extension.mli
index a4b99bcf14208e8356fbed6097670c7f890a3edb..df0e7f6d07d88fe124247fbaeb2be5f62bb8994a 100644
--- a/src/kernel_services/ast_queries/acsl_extension.mli
+++ b/src/kernel_services/ast_queries/acsl_extension.mli
@@ -80,7 +80,7 @@ type extension_printer =
     Here is a basic example:
     [
     let count = ref 0
-    let foo_typer ~typing_context ~loc = function
+    let foo_typer typing_context loc = function
       | p :: [] ->
         Ext_preds
         [ (typing_context.type_predicate