diff options
| author | Philipp G. Haselwarter | 2020-06-18 15:46:20 +0100 |
|---|---|---|
| committer | Philipp G. Haselwarter | 2020-06-18 15:46:20 +0100 |
| commit | 543c2807aec1182b9a006abd233548f3459a02c6 (patch) | |
| tree | 574f7b350168e03875ddc83856a4e36402c6f7f5 /pgshell/example.pgsh | |
| parent | 0f0bb2c00fb7b20fd187cb92d4d2c3f84c4c5987 (diff) | |
Use `proof-shell-string-match-safe` to avoid failing on `nil` regexp
Fixes a regression introduced in 22681a3caf2c8f45700585ea74dffbf48bb2ac19.
In particular, the Coq module seems to be the only one currently setting
`proof-show-proof-diffs-regexp`, causing an error for EasyCrypt.
Diffstat (limited to 'pgshell/example.pgsh')
0 files changed, 0 insertions, 0 deletions