diff options
| author | Brian Campbell | 2018-07-06 18:26:41 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-07-06 18:27:01 +0100 |
| commit | 3c5d11d7536c1f0f1d3c899b5daac7e35f1f369a (patch) | |
| tree | 3fa61e1b588ff0a1393ae2bbb11c8aaa17e1a63a /src/process_file.ml | |
| parent | a41ca0c0ed6acdb17362886c4c9650c4c353afef (diff) | |
Coq: avoid nexp simplification when deciding whether a cast is needed
Diffstat (limited to 'src/process_file.ml')
0 files changed, 0 insertions, 0 deletions