Set stalled=false when encountering an error

This commit is contained in:
Jonas Schievink 2016-10-17 21:53:27 +02:00
parent 88fde7f728
commit 0c844d2304

View file

@ -333,6 +333,7 @@ impl<O: ForestObligation> ObligationForest<O> {
}
}
Err(err) => {
stalled = false;
let backtrace = self.error_at(index);
errors.push(Error {
error: err,