Skip to content
Snippets Groups Projects
Commit b1ac8bbf authored by Guillaume DAVY's avatar Guillaume DAVY
Browse files

Ada: Add a pp_with for general with ada statement

parent 695db4da
No related branches found
No related tags found
No related merge requests found
......@@ -118,6 +118,13 @@ let extract_node instance =
| Node nd -> nd
| _ -> assert false (*TODO*)
(** Print a with statement to include a package.
@param fmt the formater to print on
@param pp_pakage_name the package name printer
**)
let pp_with fmt pp_pakage_name =
fprintf fmt "with %t" pp_pakage_name
(** Print a with statement to include a machine.
@param fmt the formater to print on
@param machine the machine
......
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