From 13f0af7f0ce18ee889b319f7055264324ea58203 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Fri, 15 Mar 2019 15:48:21 +0100
Subject: [PATCH] [doc] makes doc compiling
---
src/kernel_services/ast_queries/logic_typing.mli | 2 +-
src/libraries/stdlib/extlib.mli | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/kernel_services/ast_queries/logic_typing.mli b/src/kernel_services/ast_queries/logic_typing.mli
index eed2c7af32c..59d1fc90373 100644
--- a/src/kernel_services/ast_queries/logic_typing.mli
+++ b/src/kernel_services/ast_queries/logic_typing.mli
@@ -176,7 +176,7 @@ type typing_context = {
@since Carbon-20101201
@modify Silicon-20161101 change type of the function
- @Frama-C+dev add [status] argument
+ @modify Frama-C+dev add [status] argument
*)
val register_behavior_extension:
string -> bool ->
diff --git a/src/libraries/stdlib/extlib.mli b/src/libraries/stdlib/extlib.mli
index 89d1cc38c08..1fdba6ce16d 100644
--- a/src/libraries/stdlib/extlib.mli
+++ b/src/libraries/stdlib/extlib.mli
@@ -339,7 +339,7 @@ val mkdir : ?parents:bool -> string -> Unix.file_perm -> unit
and then fail to create the children, e.g. if [perm] does not allow
user execution of the created directory. This will leave the filesystem
in a modified state before raising an exception.
- @raise [Unix.Unix_error] if cannot create [name] or its parents.
+ @raise Unix.Unix_error if cannot create [name] or its parents.
@since Frama-C+dev *)
val safe_at_exit : (unit -> unit) -> unit
--
GitLab