diff options
Diffstat (limited to 'backend/JsonAST.mli')
-rw-r--r-- | backend/JsonAST.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/backend/JsonAST.mli b/backend/JsonAST.mli index c6fd80c9..7afdce51 100644 --- a/backend/JsonAST.mli +++ b/backend/JsonAST.mli @@ -12,5 +12,5 @@ -val pp_program : Format.formatter -> (Format.formatter -> Asm.code -> unit) -> (Asm.coq_function AST.fundef, 'a) AST.program -> unit val pp_mnemonics : Format.formatter -> string list -> unit +val pp_ast : Format.formatter -> (Format.formatter -> Asm.code -> unit) -> (Asm.coq_function AST.fundef, 'a) AST.program -> string -> unit |