From 8047f0d91ae249d1e86c36bebc7c3b6e91c1ebfe Mon Sep 17 00:00:00 2001 From: "Christoph M. Wintersteiger" Date: Tue, 10 Jan 2017 14:06:30 +0000 Subject: [PATCH] GCC compilation/keyword fix. Relates to #864 --- src/smt/smt_context.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/smt/smt_context.cpp b/src/smt/smt_context.cpp index 476a419eb..ea97d1a64 100644 --- a/src/smt/smt_context.cpp +++ b/src/smt/smt_context.cpp @@ -1413,8 +1413,8 @@ namespace smt { else { TRACE("add_diseq", display_eq_detail(tout, bool_var2enode(v));); if (!add_diseq(get_enode(lhs), get_enode(rhs)) && !inconsistent()) { - literal not_eq = literal(l.var(), true); - set_conflict(b_justification(mk_justification(eq_propagation_justification(get_enode(lhs), get_enode(rhs)))), not_eq); + literal n_eq = literal(l.var(), true); + set_conflict(b_justification(mk_justification(eq_propagation_justification(get_enode(lhs), get_enode(rhs)))), n_eq); } } }