From 7255edf216bbab85f681d09a76fab30fc7bb492c Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 6 Jun 2019 17:13:59 -0700
Subject: [PATCH] remove new_sub
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
src/smt/asserted_formulas.cpp | 1 -
1 file changed, 1 deletion(-)
diff --git a/src/smt/asserted_formulas.cpp b/src/smt/asserted_formulas.cpp
index d44548f0b..b1e89f72e 100644
--- a/src/smt/asserted_formulas.cpp
+++ b/src/smt/asserted_formulas.cpp
@@ -439,7 +439,6 @@ void asserted_formulas::commit(unsigned new_qhead) {
justified_expr const& j = m_formulas[i];
update_substitution(j.get_fml(), j.get_proof());
}
- (void)new_sub;
m_qhead = new_qhead;
}