diff options
| author | Brian Campbell | 2019-06-21 14:44:29 +0100 |
|---|---|---|
| committer | Brian Campbell | 2019-06-21 14:44:29 +0100 |
| commit | e8697cb036720cdf75687f0c442c49dd48913bcb (patch) | |
| tree | f7297c2e8b16f13271266accb18b73a0569cfd26 /src/smtlib.ml | |
| parent | 7a5f75524c59bf885d7c31ed1ae8a7cfe725d5dc (diff) | |
Coq: add missing property derivation casts for effectful expressions
These don't appear much, but are now showing up in the sail-arm model
due to an innocent change elsewhere.
Diffstat (limited to 'src/smtlib.ml')
0 files changed, 0 insertions, 0 deletions