diff options
| author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2010-02-02 22:36:57 +0000 |
|---|---|---|
| committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2010-02-02 22:36:57 +0000 |
| commit | 6d65fe9fbd92f806651d9af13b1924067885446f (patch) | |
| tree | 67f1347ae6ff384765e1b000cb0474a2ba373b5e /src/smt | |
| parent | ad9aa3d20a8938e2dc9fbd6a6ddd85d1b417eb21 (diff) | |
for tim
Diffstat (limited to 'src/smt')
| -rw-r--r-- | src/smt/smt_engine.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/smt/smt_engine.h b/src/smt/smt_engine.h index 097500833..59eddccf0 100644 --- a/src/smt/smt_engine.h +++ b/src/smt/smt_engine.h @@ -59,7 +59,7 @@ public: SmtEngine(ExprManager* em, Options* opts) throw(); /** - * Destruct the smt engine. + * Destruct the SMT engine. */ ~SmtEngine(); |