diff options
| author | Vincent Laporte | 2021-04-12 15:27:31 +0200 |
|---|---|---|
| committer | Vincent Laporte | 2021-04-12 15:27:31 +0200 |
| commit | bc49ee6872f1a5bb781c8b81bc21371d93492841 (patch) | |
| tree | 87b5fbefca4199d3d06f4cbaaee907128ec702a1 /theories/Program/Syntax.v | |
| parent | 271445decd0fc1a37da3009f148f2e68c7168fe1 (diff) | |
| parent | 2e75d6606220cb4b5e80766b82007f94788929fb (diff) | |
Merge PR #14061: [zify] better error reporting
Reviewed-by: vbgl
Diffstat (limited to 'theories/Program/Syntax.v')
0 files changed, 0 insertions, 0 deletions