Benjamin_Loison/Synchronous_reactive_systems
1
0
Fork 0
Code Issues 7 Pull Requests Packages Projects Releases Wiki Activity

Add indentation to pp_equations in src/ast_to_c.ml

Browse Source
This commit is contained in:
Benjamin Loison 2022-12-10 19:27:18 +01:00
parent ac1eea42e9
commit 5a54f897b1
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/ast_to_c.ml
View File

@ -157,7 +157,7 @@ let pp_expression =
let rec pp_equations fmt: t_eqlist -> unit = function let rec pp_equations fmt: t_eqlist -> unit = function
| [] -> () | [] -> ()
| (patt, expr) :: eqs -> | (patt, expr) :: eqs ->
Format.fprintf fmt "%a = %a;\n%a" Format.fprintf fmt "\t%a = %a;\n%a"
pp_varlist patt pp_varlist patt
pp_expression expr pp_expression expr
pp_equations eqs pp_equations eqs