diff options
Diffstat (limited to 'src/preprocessing/passes/sygus_inference.cpp')
-rw-r--r-- | src/preprocessing/passes/sygus_inference.cpp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/preprocessing/passes/sygus_inference.cpp b/src/preprocessing/passes/sygus_inference.cpp index 24484359a..41bb226a3 100644 --- a/src/preprocessing/passes/sygus_inference.cpp +++ b/src/preprocessing/passes/sygus_inference.cpp @@ -328,10 +328,10 @@ bool SygusInference::solveSygus(std::vector<Node>& assertions, if (itffv != ff_var_to_ff.end()) { Node ff = itffv->second; - Node body = Node::fromExpr(it->second); - Trace("sygus-infer") << "Define " << ff << " as " << body << std::endl; + Node body2 = Node::fromExpr(it->second); + Trace("sygus-infer") << "Define " << ff << " as " << body2 << std::endl; funs.push_back(ff); - sols.push_back(body); + sols.push_back(body2); } } return true; |