From 85661c415d4a36364b1bc27ad2919a04ec7bd63a Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 22 Jun 2020 09:08:04 -0700 Subject: [PATCH] remove ex-act Signed-off-by: Nikolaj Bjorner --- src/parsers/smt2/smt2parser.cpp | 2 -- 1 file changed, 2 deletions(-) diff --git a/src/parsers/smt2/smt2parser.cpp b/src/parsers/smt2/smt2parser.cpp index a24aef5bb..0b722832a 100644 --- a/src/parsers/smt2/smt2parser.cpp +++ b/src/parsers/smt2/smt2parser.cpp @@ -87,7 +87,6 @@ namespace smt2 { symbol m_weight; symbol m_qid; symbol m_skid; - symbol m_ex_act; symbol m_pattern; symbol m_nopattern; symbol m_lblneg; @@ -3021,7 +3020,6 @@ namespace smt2 { m_weight(":weight"), m_qid(":qid"), m_skid(":skolemid"), - m_ex_act(":ex-act"), m_pattern(":pattern"), m_nopattern(":no-pattern"), m_lblneg(":lblneg"),