From: Kshitij Bansal <kshitij@cs.nyu.edu>
Date: Tue, 31 Mar 2015 23:26:27 +0000 (-0400)
Subject: fix no return value warning
X-Git-Tag: cvc5-1.0.0~6368
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=9350915de95c1b569eea8262c4602708dfa6c3fa;p=cvc5.git

fix no return value warning
---

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();
   }
 }