Skip to content
Snippets Groups Projects
Commit 7f46efab authored by Thibault Martin's avatar Thibault Martin Committed by Allan Blanchard
Browse files

[doc] Fix mode description in populate_spec

parent 96b4427e
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/kernel_internals/typing/populate_spec.ml
+ 2
− 2
View file @ 7f46efab
......@@ -359,7 +359,7 @@ end
(* |-------|-------|-------|------|-------|---------|-------|------| *)
(* | Proto | Body | Proto | Body | Proto | Body | Proto | Body | *)
(* |-------|-------|-------|------|-------|---------|-------|------| *)
(* | Any | Any | Auto | ACSL | Any | Nothing | ??? | ?? | *)
(* | Any | Any | Auto | Auto | Any | Nothing | ??? | ?? | *)
(* |---------------------------------------------------------------| *)
(* *******************************************************************)
(* ****** Status emitted on prototypes ******)
......@@ -482,7 +482,7 @@ end
(* |-------|------|-------|------|-------|------|-------|------| *)
(* | Proto | Body | Proto | Body | Proto | Body | Proto | Body | *)
(* |-------|------|-------|------|-------|------|-------|------| *)
(* | ----- | ---- | ----- | ---- | false | ---- | ??? | ?? | *)
(* | ----- | ---- | ACSL | ACSL | false | ---- | ??? | ?? | *)
(* |-----------------------------------------------------------| *)
(* ***************************************************************)
(* ** Status emitted on prototypes ***)
......
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