1 files changed, 4 insertions, 4 deletions
diff --git a/tree.cpp b/tree.cpp
index a259e9b..c069904 100644
--- a/tree.cpp
+++ b/tree.cpp
@@ -316,10 +316,10 @@ void Tree::replace(Node *subj,const Tree &pat,const Tree &repl,vector<Tree> &acc
 	Assign *as=subj->match(*pat.root);
 	if(as){
 		refreshUnassigned(repl,*as);
-		cerr<<"replace("<<*subj<<","<<pat<<","<<repl<<"); as:"<<endl;
-		for(const pair<Variable,Node> &p : *as){
-			cerr<<"  "<<p.first<<" -> "<<p.second<<endl;
-		}
+		// cerr<<"replace("<<*subj<<","<<pat<<","<<repl<<"); as:"<<endl;
+		// for(const pair<Variable,Node> &p : *as){
+		// 	cerr<<"  "<<p.first<<" -> "<<p.second<<endl;
+		// }
 		Node *res=repl.root->apply(*as);
 		Node backup=*subj;
 		*subj=*res;