Skip to content
Snippets Groups Projects
Commit 009ad07d authored by Virgile Prevosto's avatar Virgile Prevosto Committed by David Bühler
Browse files

[doc] fix typo in a code sample within comment

parent 51b7c945
No related branches found
No related tags found
No related merge requests found
......@@ -100,7 +100,7 @@ type extension_printer =
| [] -> let id = !count in incr count; Ext_id id
| _ -> typing_context.error loc "expecting a predicate after keyword FOO"
let () =
Acsl_extension.register_behavior ~pugin:"myplugin" "FOO" foo_typer false
Acsl_extension.register_behavior ~plugin:"myplugin" "FOO" foo_typer false
]
@before Frama-C+dev the parameter [plugin] was not present
@see <https://frama-c.com/download/frama-c-plugin-development-guide.pdf>
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment