Chalk 0.23

This commit is contained in:
Jeremy Kolb 2020-08-16 12:15:44 -04:00
parent 76bd27be89
commit 409090e74c
3 changed files with 13 additions and 13 deletions

View file

@ -170,11 +170,11 @@ fn solve(
let mut solve = || {
if is_chalk_print() {
let logging_db = LoggingRustIrDatabase::new(context);
let solution = solver.solve_limited(&logging_db, goal, should_continue);
let solution = solver.solve_limited(&logging_db, goal, &should_continue);
log::debug!("chalk program:\n{}", logging_db);
solution
} else {
solver.solve_limited(&context, goal, should_continue)
solver.solve_limited(&context, goal, &should_continue)
}
};