Index: /trunk/modules/choco/source/search.cl
===================================================================
--- /trunk/modules/choco/source/search.cl	(revision 239)
+++ /trunk/modules/choco/source/search.cl	(revision 2019)
@@ -437,10 +437,10 @@
 
 // printing the current state of domains when a solution has been reached
+// xp : use trace to prevent direct output 
 [showSolution(a:Solver)
  -> if (verbose() >= STALK)
       let S := (if (a.varsToShow) a.varsToShow
                 else a.problem.vars) in
-        for x in S printf("~S\n",x)]
-;        for x in S printf("~I\n",self_print(x))]
+        for x in S trace(STALK,"~S",x)]
 
 // ********************************************************************