From 6a02dbe7c38cdec8076a4d1db427c5b5095f34a3 Mon Sep 17 00:00:00 2001
From: filliatr
Date: Tue, 6 Mar 2001 13:22:36 +0000
Subject: EAutod (debug)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1429 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 lib/explore.ml | 11 +++++++----
 1 file changed, 7 insertions(+), 4 deletions(-)

(limited to 'lib/explore.ml')

diff --git a/lib/explore.ml b/lib/explore.ml
index c336a4b3b8..b79f3e8207 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. *)
 
-- 
cgit v1.2.3