diff options
| author | Son Ho | 2022-10-27 12:58:11 +0200 |
|---|---|---|
| committer | Son HO | 2022-10-27 12:58:47 +0200 |
| commit | 39196fb24fa5f51f79767a33e28a8d785b67bd9b (patch) | |
| tree | 32996aa4ae760262e86a8160d051bfb54e8ad54a /compiler/SymbolicToPure.ml | |
| parent | 4671daa0899d3c897cb28baeb5e62b2486fbeba7 (diff) | |
Reorganize Print.ml
Diffstat (limited to '')
| -rw-r--r-- | compiler/SymbolicToPure.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/SymbolicToPure.ml b/compiler/SymbolicToPure.ml index 749eae1d..f393b059 100644 --- a/compiler/SymbolicToPure.ml +++ b/compiler/SymbolicToPure.ml @@ -197,7 +197,7 @@ let fun_decl_to_string (ctx : bs_ctx) (def : Pure.fun_decl) : string = (* TODO: move *) let abs_to_string (ctx : bs_ctx) (abs : V.abs) : string = let fmt = bs_ctx_to_ast_formatter ctx in - let fmt = Print.LlbcAst.ast_to_value_formatter fmt in + let fmt = Print.Contexts.ast_to_value_formatter fmt in let indent = "" in let indent_incr = " " in Print.Values.abs_to_string fmt indent indent_incr abs |