From b4e4e6f6776b2af9607438f6e4249b295c784608 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Fri, 28 Oct 2022 11:59:49 +0200
Subject: Make minor modifications

---
 compiler/SymbolicToPure.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'compiler/SymbolicToPure.ml')

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
 
-- 
cgit v1.2.3