From aad7b29c30cd09e85817e5a10fbb8507b1d74829 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?L=C3=A9onard=20G=C3=A9rard?= Date: Wed, 1 Sep 2010 14:42:44 +0200 Subject: [PATCH] small print debugging tweaks. --- compiler/utilities/graph.ml | 3 ++- tools/debugger_script | 2 +- 2 files changed, 3 insertions(+), 2 deletions(-) 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"