diff options
| author | Valentin Blot <24938579+vblot@users.noreply.github.com> | 2019-02-28 16:26:11 +0100 |
|---|---|---|
| committer | Valentin Blot <24938579+vblot@users.noreply.github.com> | 2019-02-28 16:26:11 +0100 |
| commit | b96d222d47da5c5d59b65dfa152e255b7a4f7b46 (patch) | |
| tree | 31535b8d1ec3c295bc96727580446297341e65d0 /src/trace/smtAtom.ml | |
| parent | a25181f93604e279b899552b119d68df0c63b0ad (diff) | |
| download | smtcoq-b96d222d47da5c5d59b65dfa152e255b7a4f7b46.tar.gz smtcoq-b96d222d47da5c5d59b65dfa152e255b7a4f7b46.zip | |
int does not exist in standard coq
Diffstat (limited to 'src/trace/smtAtom.ml')
0 files changed, 0 insertions, 0 deletions