Skip to content

Commit

Permalink
Reset progress state after solving step
Browse files Browse the repository at this point in the history
  • Loading branch information
BenKaufmann committed Aug 12, 2017
1 parent 0e74ae5 commit 4683d3c
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions src/clasp_facade.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -870,6 +870,7 @@ ClaspFacade::Result ClaspFacade::stopStep(int signal, bool complete) {
}
updateStats();
ctx.report(StepReady(step_));
ctx.report(Event::subsystem_facade);
}
return result();
}
Expand Down

0 comments on commit 4683d3c

Please sign in to comment.