diff --git a/doc/developer/tutorial/viewcfg/v5-state/dump.ml b/doc/developer/tutorial/viewcfg/v5-state/dump.ml index cc49bf0bcb6fc5d9e5f5d25e26873c50504d415f..59863330f51039d0d54bf83c2b0221f89b42d694 100644 --- a/doc/developer/tutorial/viewcfg/v5-state/dump.ml +++ b/doc/developer/tutorial/viewcfg/v5-state/dump.ml @@ -5,7 +5,7 @@ let dump_to_string fundec = (fundec.svar.vorig_name); ignore (Visitor.visitFramacFunction - (new Visit.print_cfg Format.str_formatter) fundec); + (new Visit.print_cfg Format.str_formatter) fundec); Format.flush_str_formatter () module Cfg_graph_state = State_builder.Hashtbl