diff options
author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2015-03-31 19:26:27 -0400 |
---|---|---|
committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2015-03-31 19:26:27 -0400 |
commit | 9350915de95c1b569eea8262c4602708dfa6c3fa (patch) | |
tree | 88a0239d0ca3eb37a75bbfa4947ce6590698b87d | |
parent | c8b12c193b390c16f6747bb96cda5ee6da8cb293 (diff) |
fix no return value warning
-rw-r--r-- | src/theory/quantifiers/inst_strategy_cbqi.cpp | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/theory/quantifiers/inst_strategy_cbqi.cpp b/src/theory/quantifiers/inst_strategy_cbqi.cpp index fe992b619..6de6e1d03 100644 --- a/src/theory/quantifiers/inst_strategy_cbqi.cpp +++ b/src/theory/quantifiers/inst_strategy_cbqi.cpp @@ -386,6 +386,9 @@ int InstStrategyCegqi::process( Node f, Theory::Effort effort, int e ) { d_curr_quant = Node::null(); return STATUS_UNKNOWN; + }else{ + // To fix warning + Unreachable(); } } |