From e95555f401819d088b69b6795c1a739a881f2bb1 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Mon, 8 Jul 2024 17:50:05 +0200
Subject: [PATCH] [doc] fix typo in comment
---
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 a8889b0899..937f8c65cb 100644
--- a/src/kernel_services/ast_queries/acsl_extension.mli
+++ b/src/kernel_services/ast_queries/acsl_extension.mli
@@ -158,7 +158,7 @@ val register_code_annot_next_loop: register_extension
val register_code_annot_next_both: register_extension
(**
- Module importer extensions allow to extends the import clause with external
+ Module importer extensions allow extending the import clause with external
loaders. For instance, consider the following declaration:
{[
//@ import A: foo::bar;
--
GitLab