From 123b425052636beceaa52e47ea695d35b75fb40a Mon Sep 17 00:00:00 2001
From: Bruno Schmitt <bruno@oschmitt.com>
Date: Tue, 13 Dec 2016 11:29:38 -0200
Subject: Fixes to make xSAT compile with old compilers. Small typos and
 variables renaming.

---
 src/sat/xsat/xsatSolverAPI.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/sat/xsat/xsatSolverAPI.c')

diff --git a/src/sat/xsat/xsatSolverAPI.c b/src/sat/xsat/xsatSolverAPI.c
index 43c2d06e..7746dc0b 100644
--- a/src/sat/xsat/xsatSolverAPI.c
+++ b/src/sat/xsat/xsatSolverAPI.c
@@ -51,6 +51,7 @@ xSAT_SolverOptions_t DefaultConfig =
     30     //.nLBDFrozenClause = 30
 };
 
+
 /**Function*************************************************************
 
   Synopsis    []
@@ -125,7 +126,6 @@ void xSAT_SolverDestroy( xSAT_Solver_t * s )
     xSAT_VecWatchListFree( s->vWatches );
     xSAT_VecWatchListFree( s->vBinWatches );
 
-    // delete vectors
     xSAT_HeapFree(s->hOrder);
     Vec_IntFree( s->vTrailLim );
     Vec_IntFree( s->vTrail );
-- 
cgit v1.2.3