From e9a11bd93b79a4ac5246bfd516f63348e0f57c12 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sat, 10 May 2014 17:43:42 -0700 Subject: [PATCH] fix emptines check Signed-off-by: Nikolaj Bjorner --- src/opt/opt_context.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/opt/opt_context.h b/src/opt/opt_context.h index f38d87cd8..a09872e85 100644 --- a/src/opt/opt_context.h +++ b/src/opt/opt_context.h @@ -131,7 +131,7 @@ namespace opt { virtual void push(); virtual void pop(unsigned n); - virtual bool empty() { return m_objectives.empty(); } + virtual bool empty() { return m_scoped_state.m_objectives.empty(); } virtual void set_cancel(bool f); virtual void reset_cancel() { set_cancel(false); } virtual void cancel() { set_cancel(true); }