From: Morgan Deters <mdeters@gmail.com>
Date: Wed, 13 Apr 2011 06:25:37 +0000 (+0000)
Subject: fix compiler warning in non-replay builds
X-Git-Tag: cvc5-1.0.0~8601
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=bd371052ec912fc8953a6baab797c3c62b56ef2d;p=cvc5.git

fix compiler warning in non-replay builds
---

diff --git a/src/prop/sat.cpp b/src/prop/sat.cpp
index a6adecb1d..40c17e016 100644
--- a/src/prop/sat.cpp
+++ b/src/prop/sat.cpp
@@ -116,8 +116,8 @@ SatLiteral SatSolver::getNextReplayDecision() {
       return d_cnfStream->getLiteral(e);
     }
   }
-  return Minisat::lit_Undef;
 #endif /* CVC4_REPLAY */
+  return Minisat::lit_Undef;
 }
 
 void SatSolver::logDecision(SatLiteral lit) {