diff options
| author | Morgan Deters <mdeters@gmail.com> | 2012-02-16 13:30:28 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2012-02-16 13:30:28 +0000 |
| commit | 1632d0cad718fd07e9a987cd14d5fc29a1b450c4 (patch) | |
| tree | d13c2dbf1de8c44d95e7057ed1c192daf04f0255 /src/smt/smt_engine.cpp | |
| parent | 67c6e89c904f76a268f9297b7589559a262583e0 (diff) | |
clarify wording in README, thanks for finding this Francois!
Diffstat (limited to 'src/smt/smt_engine.cpp')
0 files changed, 0 insertions, 0 deletions