diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2017-08-31 12:41:35 +0200 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2017-08-31 12:41:35 +0200 |
| commit | bdfcbceb57cb8d04fea02da39dee6b8e7f75ad29 (patch) | |
| tree | e52f665cb7950456c2ee7a71e46525a377942099 /tactics | |
| parent | b8ddc6e8b7788bfdb92ebd5238ca92c633b3e092 (diff) | |
| parent | 870f7d0f833c288aa22a333df376e5cb8fbb403e (diff) | |
Merge PR #995: Program: fix BZ#5683, missing lift when building case predicate
Diffstat (limited to 'tactics')
0 files changed, 0 insertions, 0 deletions