diff options
Diffstat (limited to 'tree.cpp')
-rw-r--r-- | tree.cpp | 8 |
1 files changed, 4 insertions, 4 deletions
@@ -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; |