X-Git-Url: http://git.onelab.eu/?a=blobdiff_plain;f=manifold%2Fjs%2Fmanifold.js;h=c773aed9ff796e7e0ae0ad9ca179e09603fa9ba1;hb=d36cb74e23439c1d0982a3a004c0bff486ca910f;hp=5765195a24303a5ef06864fd03c55e978eff2bb8;hpb=d5dbeb380b9205233540eaf6dfbd21db15129816;p=unfold.git

diff --git a/manifold/js/manifold.js b/manifold/js/manifold.js
index 5765195a..c773aed9 100644
--- a/manifold/js/manifold.js
+++ b/manifold/js/manifold.js
@@ -13,7 +13,7 @@ function debug_value (msg, value) {
 function debug_query (msg, query) {
     if (query === undefined) console.log ("debug_query: " + msg + " -> undefined");
     else if (query == null) console.log ("debug_query: " + msg + " -> null");
-    else if ('query_uuid' in query) console.log ("debug_query: " + msg + " query_uuid= " + query.query_uuid);
+    else if ('query_uuid' in query) console.log ("debug_query: " + msg + query.__repr());
     else console.log ("debug_query: " + msg + " query= " + query);
 }