diff options
author | 2018-04-17 18:52:33 -0400 | |
---|---|---|
committer | 2018-04-18 03:43:32 -0400 | |
commit | f2ef2c85530035b60d9071abf256da37e84858bf (patch) | |
tree | 0c5a0385d61e4442e5afd521b5f215a0c975341f /src/Experiments/Loops.v | |
parent | c574d7ecbd4633ddb3116a71d49ec180526ee8dc (diff) |
Actually display the error messages from pipeline failures
See https://github.com/coq/coq/issues/7291 and
https://github.com/mit-plv/fiat-crypto/issues/349#issuecomment-382180578
Diffstat (limited to 'src/Experiments/Loops.v')
0 files changed, 0 insertions, 0 deletions