Skip to content
Snippets Groups Projects
Commit b7871fa4 authored by Loïc Correnson's avatar Loïc Correnson Committed by Virgile Prevosto
Browse files

[acsl] fix typo in doc

parent e4edd072
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/kernel_services/parsetree/logic_ptree.ml
+ 1
− 1
View file @ b7871fa4
...@@ -245,7 +245,7 @@ and decl_node = ...@@ -245,7 +245,7 @@ and decl_node =
(** [LDaxiomatic(id,decls)] (** [LDaxiomatic(id,decls)]
represents a block of axiomatic definitions.*) represents a block of axiomatic definitions.*)
| LDmodule of string * decl list | LDmodule of string * decl list
(** [LDaxiomatic(id,decls)] (** [LDmodule(id,decls)]
represents a module of axiomatic definitions.*) represents a module of axiomatic definitions.*)
| LDimport of string option * string * string option | LDimport of string option * string * string option
(** [LDimport(driver,module,alias)] (** [LDimport(driver,module,alias)]
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment