diff options
author | tomsmeding <tom.smeding@gmail.com> | 2017-02-01 16:20:41 +0100 |
---|---|---|
committer | tomsmeding <tom.smeding@gmail.com> | 2017-02-01 16:20:41 +0100 |
commit | 641f0ed7111d05a9dcbac919e22b4922f4bce5cf (patch) | |
tree | 99aee64e31047c88de725cba920a8f319af91159 /tree.cpp | |
parent | c54485386cc89fcc233debafee4605a7b104351b (diff) |
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; |