Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
pub
frama-c
Commits
1fbb7ff2
Commit
1fbb7ff2
authored
Jan 17, 2023
by
David Bühler
Browse files
[kernel] Property_status: fixes a typo in the interface documentation.
parent
c4c6efc8
Changes
1
Hide whitespace changes
Inline
Side-by-side
src/kernel_services/ast_data/property_status.mli
View file @
1fbb7ff2
...
...
@@ -263,7 +263,7 @@ val register: Property.t -> unit
(** Register the given property. It must not be already registered. *)
val
register_property_add_hook
:
(
Property
.
t
->
unit
)
->
unit
(**
a
dd an hook that will be called for any newly registered property
(**
A
dd an hook that will be called for any newly registered property
@since Neon-20140301 *)
val
remove
:
Property
.
t
->
unit
...
...
@@ -271,7 +271,7 @@ val remove: Property.t -> unit
corresponding annotation. *)
val
register_property_remove_hook
:
(
Property
.
t
->
unit
)
->
unit
(** Add an
d
hook that will be called each time a property is removed.
(** Add an hook that will be called each time a property is removed.
@since Neon-20140301 *)
val
merge
:
old
:
Property
.
t
list
->
Property
.
t
list
->
unit
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment