From 7fd0777cf14e50e814f6c8688256d438507da3ce Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 24 Jul 2017 09:18:16 -0700
Subject: [PATCH] fixes to #1155 and partial introduction of SMTLIB 2.6
 datatype format

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/parsers/smt2/smt2parser.cpp | 7 -------
 1 file changed, 7 deletions(-)

diff --git a/src/parsers/smt2/smt2parser.cpp b/src/parsers/smt2/smt2parser.cpp
index 9d59d740a..4bf8dab4e 100644
--- a/src/parsers/smt2/smt2parser.cpp
+++ b/src/parsers/smt2/smt2parser.cpp
@@ -917,13 +917,6 @@ namespace smt2 {
             next();
         }
 
-        // (declare-datatypes ( sort_dec n+1 ) ( datatype_dec n+1 ) )
-
-        void parse_declare_datatypes_smt2() {
-            
-        }
-
-
         // ( declare-datatype symbol datatype_dec) 
         void parse_declare_datatype() {
             SASSERT(curr_is_identifier());