diff options
| author | Son Ho | 2022-10-28 11:59:49 +0200 |
|---|---|---|
| committer | Son HO | 2022-10-28 17:41:04 +0200 |
| commit | b4e4e6f6776b2af9607438f6e4249b295c784608 (patch) | |
| tree | ecfd9c4464c5a38f74d9f35f24b67eaa3f086957 /compiler/SymbolicToPure.ml | |
| parent | 9c7fe7eb0cd3fdda6b64ff4dc9f6b68f631bdb44 (diff) | |
Make minor modifications
Diffstat (limited to '')
| -rw-r--r-- | compiler/SymbolicToPure.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/SymbolicToPure.ml b/compiler/SymbolicToPure.ml index 1341bccc..6e60acc2 100644 --- a/compiler/SymbolicToPure.ml +++ b/compiler/SymbolicToPure.ml @@ -147,8 +147,8 @@ let type_check_texpression (ctx : bs_ctx) (e : texpression) : unit = PureTypeCheck.check_texpression ctx e (* TODO: move *) -let bs_ctx_to_ast_formatter (ctx : bs_ctx) : Print.LlbcAst.ast_formatter = - Print.LlbcAst.fun_decl_to_ast_formatter ctx.type_context.llbc_type_decls +let bs_ctx_to_ast_formatter (ctx : bs_ctx) : Print.Ast.ast_formatter = + Print.Ast.decls_and_fun_decl_to_ast_formatter ctx.type_context.llbc_type_decls ctx.fun_context.llbc_fun_decls ctx.global_context.llbc_global_decls ctx.fun_decl |