diff options
| author | Alasdair Armstrong | 2019-05-29 13:59:28 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-05-29 13:59:28 +0100 |
| commit | 21f2d6abb344b56ea26aff3169aebf69a0d99c8a (patch) | |
| tree | 130c342d6479eec9ecefd3224256f6985e939365 /lib/coq | |
| parent | fd00008838c6398bf1678372c53b4749f644a1a9 (diff) | |
Fix sail_truncate error message in SMT
Diffstat (limited to 'lib/coq')
0 files changed, 0 insertions, 0 deletions