EAutod (debug)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1429 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 7 insertions, 4 deletions

diff --git a/lib/explore.ml b/lib/explore.ml
index c336a4b3b..b79f3e820 100644
--- a/lib/explore.ml
+++ b/lib/explore.ml
@@ -16,10 +16,13 @@ module Make = functor(S : SearchProblem) -> struct
 
   type position = int list
 
-  let rec pp_position = function
-    | [] -> ()
-    | [i] -> printf "%d" i
-    | i :: l -> pp_position l; printf ".%d" i
+  let pp_position p = 
+    let rec pp_rec = function
+      | [] -> ()
+      | [i] -> printf "%d" i
+      | i :: l -> pp_rec l; printf ".%d" i
+    in
+    open_hbox (); pp_rec p; close_box ()
 
   (*s Depth first search. *)