diff options
| author | Alasdair Armstrong | 2018-12-20 22:00:40 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-12-20 22:00:40 +0000 |
| commit | 0a9200153430f5e727b3ebe1fa272d4842069530 (patch) | |
| tree | dff86bfcd0dd86879df00f82d4e6c6efb5a5d7b3 /src/lem_interp | |
| parent | 40f7f5d00a9afff27f1d2329ab525705e57c6d6f (diff) | |
Fix monomorpisation tests with typechecker changes
Add an extra argument for Type_check.prove for the location of the prove
call (as prove __POS__) to help debug SMT related issues
Diffstat (limited to 'src/lem_interp')
0 files changed, 0 insertions, 0 deletions