Merge pull request #98 from aurimasv/rdf

tabulator.log
2012-04-19 20:00:40 -07:00 · 2012-04-19 20:00:40 -07:00 · 8342aafa39
commit 8342aafa39
parent 6b7774e9ac 339413e5a6
1 changed files with 1 additions and 1 deletions
--- a/chrome/content/zotero/xpcom/rdf/identity.js
+++ b/chrome/content/zotero/xpcom/rdf/identity.js
@ -181,7 +181,7 @@ We replace the bigger with the smaller.

 */
 RDFIndexedFormula.prototype.equate = function(u1, u2) {
-    tabulator.log.info("Equating "+u1+" and "+u2)
+    tabulator.log.debug("Equating "+u1+" and "+u2)
    
    var d = u1.compareTerm(u2);
    if (!d) return true; // No information in {a = a}