Changeset def751f for src/ResolvExpr/CandidateFinder.cpp
- Timestamp:
- Jul 25, 2022, 3:17:25 PM (2 years ago)
- Branches:
- ADT, ast-experimental, master, pthread-emulation, qualifiedEnum
- Children:
- b0d9ff7
- Parents:
- 4e2befe3 (diff), ffec1bf (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the(diff)
links above to see all the changes relative to each parent. - File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/ResolvExpr/CandidateFinder.cpp
r4e2befe3 rdef751f 1263 1263 newExpr, copy( tenv ), ast::OpenVarSet{}, ast::AssertionSet{}, Cost::zero, 1264 1264 cost ); 1265 1266 if (newCand->expr->env) { 1267 newCand->env.add(*newCand->expr->env); 1268 auto mutExpr = newCand->expr.get_and_mutate(); 1269 mutExpr->env = nullptr; 1270 newCand->expr = mutExpr; 1271 } 1272 1265 1273 PRINT( 1266 1274 std::cerr << "decl is ";
Note: See TracChangeset
for help on using the changeset viewer.