[kernel] Typo in ACSL extension doc

a3328c20 · Allan Blanchard · 7e2f9d0e · a3328c20
Commit a3328c20 authored 4 years ago by Allan Blanchard
--- 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