diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2018-11-07 15:05:37 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2018-11-07 15:28:05 +0100 |
| commit | 2c712d35df5d1514e28b479f960a53b89ce59424 (patch) | |
| tree | 38e908429069ceb05bf6f0bd726df9e827c119fe /examples | |
| parent | 2d7b703197bd1e64aa6908eb9044128d705d31b0 (diff) | |
| download | cuirass-2c712d35df5d1514e28b479f960a53b89ce59424.tar cuirass-2c712d35df5d1514e28b479f960a53b89ce59424.tar.gz | |
base: Clear the "in progress" bit of failed evaluations.
Fixes <https://bugs.gnu.org/32734>.
* src/cuirass/base.scm (evaluate): Call 'db-set-evaluation-done' upon
'&evaluation-error'.
Diffstat (limited to 'examples')
0 files changed, 0 insertions, 0 deletions