From eaa01d355abd0e69bfec9d5b61f1330f42ff1fe8 Mon Sep 17 00:00:00 2001
From: Daniel Dunbar <daniel@zuster.org>
Date: Mon, 5 Apr 2010 04:01:35 +0000
Subject: STP: Remove stray semi-colons.

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@100391 91177308-0d34-0410-b5e6-96231b3b80d8
---
 stp/sat/Solver.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'stp/sat/Solver.cpp')

diff --git a/stp/sat/Solver.cpp b/stp/sat/Solver.cpp
index 0fcb6149..13a9ae08 100644
--- a/stp/sat/Solver.cpp
+++ b/stp/sat/Solver.cpp
@@ -316,7 +316,7 @@ void Solver::analyze(Clause* confl, vec<Lit>& out_learnt, int& out_btlevel)
         }
 
         // Select next clause to look at:
-        while (!seen[var(trail[index--])]);
+        while (!seen[var(trail[index--])]) ;
         p     = trail[index+1];
         confl = reason[var(p)];
         seen[var(p)] = 0;
@@ -808,4 +808,4 @@ bool Solver::solve(const vec<Lit>& assumps)
     cancelUntil(0);
     return status == l_True;
 }
-};//end of MINISAT namespace
+} //end of MINISAT namespace
-- 
cgit 1.4.1