diff options
author | Chantal Keller <Chantal.Keller@inria.fr> | 2020-05-15 17:23:46 +0200 |
---|---|---|
committer | Chantal Keller <Chantal.Keller@inria.fr> | 2020-05-15 17:23:46 +0200 |
commit | 3cb105fdfeb68f5868f4eff58c5f320bf2cdce59 (patch) | |
tree | e34a41598f1f644f747680c8b8cf1fd89b85fbed /src/trace/smtMisc.ml | |
parent | 9a7c314bea5ba24577e983a9f87feaf5b380bc0f (diff) | |
download | smtcoq-3cb105fdfeb68f5868f4eff58c5f320bf2cdce59.tar.gz smtcoq-3cb105fdfeb68f5868f4eff58c5f320bf2cdce59.zip |
Typo
Diffstat (limited to 'src/trace/smtMisc.ml')
0 files changed, 0 insertions, 0 deletions