diff options
Diffstat (limited to 'src/parser/smt2/smt2.cpp')
-rw-r--r-- | src/parser/smt2/smt2.cpp | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/parser/smt2/smt2.cpp b/src/parser/smt2/smt2.cpp index 6fe55e50e..9bdadc440 100644 --- a/src/parser/smt2/smt2.cpp +++ b/src/parser/smt2/smt2.cpp @@ -63,9 +63,6 @@ void Smt2::addTheory(Theory theory) { break; case THEORY_ARRAYS: - // FIXME: should define a paramterized type 'Array' with 2 arguments - mkSort("Array"); - addOperator(kind::SELECT); addOperator(kind::STORE); break; |