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