diff options
author | Chantal Keller <Chantal.Keller@lri.fr> | 2016-03-02 10:46:49 +0100 |
---|---|---|
committer | Chantal Keller <Chantal.Keller@lri.fr> | 2016-03-02 10:46:49 +0100 |
commit | febbbff65ac03cc600846c4100ecadada433f816 (patch) | |
tree | fce7b92f64d7b9231ac915a7e8e8f164e7ec712d /src/smtlib2/smtlib2_lex.mll | |
parent | ed4869bbc741a0e62e5e57b5289b1c202cd71e7f (diff) | |
download | smtcoq-febbbff65ac03cc600846c4100ecadada433f816.tar.gz smtcoq-febbbff65ac03cc600846c4100ecadada433f816.zip |
The current version of SMTCoq does not support SMTLIB "let" anymore
Diffstat (limited to 'src/smtlib2/smtlib2_lex.mll')
0 files changed, 0 insertions, 0 deletions