Skip to content
Snippets Groups Projects
Commit d68e9fc0 authored by Andre Maroneze's avatar Andre Maroneze
Browse files

[Doc] update API reference in comment

parent 5b89aac9
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/kernel_services/plugin_entry_points/db.mli
+ 1
− 1
View file @ d68e9fc0
...@@ -37,7 +37,7 @@ ...@@ -37,7 +37,7 @@
- {!File}: Cil file initialization - {!File}: Cil file initialization
- {!Globals}: global variables, functions and annotations - {!Globals}: global variables, functions and annotations
- {!Annotations}: annotations associated with a statement - {!Annotations}: annotations associated with a statement
- {!Properties_status}: status of annotations - {!Property_status}: status of annotations
- {!Kernel_function}: C functions as seen by Frama-C - {!Kernel_function}: C functions as seen by Frama-C
- {!Stmts_graph}: the statement graph - {!Stmts_graph}: the statement graph
- {!Loop}: (natural) loops - {!Loop}: (natural) loops
......
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