fix compiler warning in non-replay builds

diff --git a/src/prop/sat.cpp b/src/prop/sat.cpp
index a6adecb1d69279f8dc0ee39a6c6a06e4e523d18b..40c17e016843e443a1d50236331cf1622cf0b62e 100644 (file)
--- 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) {