diff options
| author | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-06-03 22:27:16 +0000 |
|---|---|---|
| committer | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-06-03 22:27:16 +0000 |
| commit | f780dd882fc343cef668d5cd9eed8f515d0e70ed (patch) | |
| tree | 5a3432a90d1f30cdc00f2353c0b43a468da09661 /src/parser/smt2 | |
| parent | 4cd2a432d621d18f7b811caab8935a617b4771c5 (diff) | |
Implementing input from stdin (Fixes: #144)
Diffstat (limited to 'src/parser/smt2')
| -rw-r--r-- | src/parser/smt2/smt2.cpp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/parser/smt2/smt2.cpp b/src/parser/smt2/smt2.cpp index d76d8ba38..f6089382c 100644 --- a/src/parser/smt2/smt2.cpp +++ b/src/parser/smt2/smt2.cpp @@ -145,6 +145,8 @@ void Smt2::setLogic(const std::string& name) { case AUFNIRA: case QF_AUFBV: case QF_AUFLIA: + case QF_AX: + case QF_BV: Unhandled(name); } } |