From bd371052ec912fc8953a6baab797c3c62b56ef2d Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@gmail.com>
Date: Wed, 13 Apr 2011 06:25:37 +0000
Subject: [PATCH] fix compiler warning in non-replay builds

---
 src/prop/sat.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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) {
-- 
2.30.2