From a3328c20e60a6c96dc7b5c51b95a1b0e2249e443 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Wed, 24 Feb 2021 15:15:20 +0100
Subject: [PATCH] [kernel] Typo in ACSL extension doc
---
src/kernel_services/ast_queries/acsl_extension.mli | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/kernel_services/ast_queries/acsl_extension.mli b/src/kernel_services/ast_queries/acsl_extension.mli
index a4b99bcf142..df0e7f6d07d 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
--
GitLab