Skip to content
Snippets Groups Projects
Commit e6dd341c authored by David Bühler's avatar David Bühler
Browse files

[kernel] Removes empty lines in acsl_extension interface.

parent 0991027f
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/kernel_services/ast_queries/acsl_extension.mli
+ 0
− 2
View file @ e6dd341c
...@@ -53,7 +53,6 @@ type extension_printer = ...@@ -53,7 +53,6 @@ type extension_printer =
(** type of functions that compare two extensions (with the same keyword) (** type of functions that compare two extensions (with the same keyword)
to decide if they're identical or not. See {!Ast_diff} for more information. to decide if they're identical or not. See {!Ast_diff} for more information.
@since Frama-C+dev @since Frama-C+dev
*) *)
type extension_same = type extension_same =
...@@ -115,7 +114,6 @@ type extension_same = ...@@ -115,7 +114,6 @@ type extension_same =
@before Frama-C+dev parameters [plugin] and [is_same_ext] were not present @before Frama-C+dev parameters [plugin] and [is_same_ext] were not present
@see <https://frama-c.com/download/frama-c-plugin-development-guide.pdf> @see <https://frama-c.com/download/frama-c-plugin-development-guide.pdf>
*) *)
type register_extension = type register_extension =
plugin:string -> string -> plugin:string -> string ->
?preprocessor:extension_preprocessor -> extension_typer -> ?preprocessor:extension_preprocessor -> extension_typer ->
......
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