From 5a54f897b13b896f1f8c1415bc517a769f43d979 Mon Sep 17 00:00:00 2001 From: Benjamin Loison Date: Sat, 10 Dec 2022 19:27:18 +0100 Subject: [PATCH] Add indentation to `pp_equations` in `src/ast_to_c.ml` --- src/ast_to_c.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ast_to_c.ml b/src/ast_to_c.ml index 094c424..f9a1a62 100644 --- a/src/ast_to_c.ml +++ b/src/ast_to_c.ml @@ -157,7 +157,7 @@ let pp_expression = let rec pp_equations fmt: t_eqlist -> unit = function | [] -> () | (patt, expr) :: eqs -> - Format.fprintf fmt "%a = %a;\n%a" + Format.fprintf fmt "\t%a = %a;\n%a" pp_varlist patt pp_expression expr pp_equations eqs