diff --git a/compiler/utilities/graph.ml b/compiler/utilities/graph.ml index bd5feb5..9d62086 100644 --- a/compiler/utilities/graph.ml +++ b/compiler/utilities/graph.ml @@ -127,6 +127,7 @@ let accessible useful_nodes g_list = let exists_path nodes n1 n2 = List.mem n2 (accessible [n1] nodes) +(* open Format let print_node print g = @@ -142,5 +143,5 @@ let print_node print g = printf "@]@ ") g.g_depends_on; printf "@]" - +*) diff --git a/tools/debugger_script b/tools/debugger_script index cc5b45f..e2dc997 100644 --- a/tools/debugger_script +++ b/tools/debugger_script @@ -44,7 +44,7 @@ load_printer "_build/obc/obc.d.cmo" load_printer "_build/obc/control.d.cmo" load_printer "_build/obc/obc_mapfold.d.cmo" load_printer "_build/main/mls2obc.d.cmo" -load_printer "_build/minils/transformations/callgraph_mapfold.d.cmo" +load_printer "_build/minils/transformations/callgraph.d.cmo" load_printer "_build/obc/c/c.d.cmo" load_printer "_build/obc/c/csubst.d.cmo" load_printer "_build/obc/obc_utils.d.cmo"