mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-10 19:27:06 +00:00
Code Activity

remove ex-act

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2020-06-22 09:08:04 -07:00
parent 6a54c0bc04
commit 85661c415d
1 changed files with 0 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/parsers/smt2/smt2parser.cpp
View file

@ -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"),