diff options
| author | Brian Campbell | 2018-02-02 15:37:28 +0000 |
|---|---|---|
| committer | Brian Campbell | 2018-02-02 15:48:24 +0000 |
| commit | 9d9300dbffa5e8e408cc865ab771368536c5078a (patch) | |
| tree | 648bf9cbb94b833ce2dc0aa6e418a3648529008e /src/util.ml | |
| parent | cd2c810199a16ed2ea71ea783589361f8022f94f (diff) | |
When cutting functions short at assertions, put an exit to correct types
if necessary
Diffstat (limited to 'src/util.ml')
0 files changed, 0 insertions, 0 deletions