fix no return value warning

diff --git a/src/theory/quantifiers/inst_strategy_cbqi.cpp b/src/theory/quantifiers/inst_strategy_cbqi.cpp
index fe992b619ba01dc1ecd09f3d22f009a5ff518105..6de6e1d03b57a344c4f2555d66402530a7b10548 100644 (file)
--- 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();
   }
 }