From b7871fa47bf6c2088ecfda04230c06aea5327f52 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lo=C3=AFc=20Correnson?= <loic.correnson@cea.fr>
Date: Fri, 6 Sep 2024 10:24:23 +0000
Subject: [PATCH] [acsl] fix typo in doc
---
src/kernel_services/parsetree/logic_ptree.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/kernel_services/parsetree/logic_ptree.ml b/src/kernel_services/parsetree/logic_ptree.ml
index a7a300f5c4..b079330d0e 100644
--- a/src/kernel_services/parsetree/logic_ptree.ml
+++ b/src/kernel_services/parsetree/logic_ptree.ml
@@ -245,7 +245,7 @@ and decl_node =
(** [LDaxiomatic(id,decls)]
represents a block of axiomatic definitions.*)
| LDmodule of string * decl list
- (** [LDaxiomatic(id,decls)]
+ (** [LDmodule(id,decls)]
represents a module of axiomatic definitions.*)
| LDimport of string option * string * string option
(** [LDimport(driver,module,alias)]
--
GitLab