diff options
| author | Brian Campbell | 2018-09-12 13:18:42 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-09-12 13:18:42 +0100 |
| commit | d812dd49e482f57a22f1054ff69d300b8e6e45c3 (patch) | |
| tree | 279a5fc5904ae1599e9877e1518fe326ac1ebd86 /src/lem_interp/run_interp_model.ml | |
| parent | 962853c6bf48fdf3fe0522549d5690348cf8c1ae (diff) | |
Coq: remove extra "True"s from constraints
The omega tactic doesn't like them
Diffstat (limited to 'src/lem_interp/run_interp_model.ml')
0 files changed, 0 insertions, 0 deletions