From 8281b56e9e2a6a9339fb2dc86711aa719055e014 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sat, 23 Feb 2013 14:01:09 -0800
Subject: Compiler warnings.

---
 src/sat/bsat/satSolver.c | 4 ++++
 src/sat/bsat/satSolver.h | 1 +
 2 files changed, 5 insertions(+)

(limited to 'src/sat')

diff --git a/src/sat/bsat/satSolver.c b/src/sat/bsat/satSolver.c
index 9a0d6237..0e5c6b91 100644
--- a/src/sat/bsat/satSolver.c
+++ b/src/sat/bsat/satSolver.c
@@ -546,6 +546,7 @@ static void sat_solver_record(sat_solver* s, veci* cls)
     {
         int RetValue = Sto_ManAddClause( (Sto_Man_t *)s->pStore, begin, end );
         assert( RetValue );
+        (void) RetValue;
     }
     ///////////////////////////////////
 /*
@@ -1333,6 +1334,7 @@ int sat_solver_addclause(sat_solver* s, lit* begin, lit* end)
     {
         int RetValue = Sto_ManAddClause( (Sto_Man_t *)s->pStore, begin, end );
         assert( RetValue );
+        (void) RetValue;
     }
     ///////////////////////////////////
 
@@ -1522,6 +1524,7 @@ int sat_solver_solve(sat_solver* s, lit* begin, lit* end, ABC_INT64_T nConfLimit
         {
             int RetValue = Sto_ManAddClause( (Sto_Man_t *)s->pStore, NULL, NULL );
             assert( RetValue );
+            (void) RetValue;
         }
         return l_False;
     }
@@ -1692,6 +1695,7 @@ int sat_solver_solve(sat_solver* s, lit* begin, lit* end, ABC_INT64_T nConfLimit
     {
         int RetValue = Sto_ManAddClause( (Sto_Man_t *)s->pStore, NULL, NULL );
         assert( RetValue );
+        (void) RetValue;
     }
     ////////////////////////////////////////////////
     return status;
diff --git a/src/sat/bsat/satSolver.h b/src/sat/bsat/satSolver.h
index 24350b36..56936088 100644
--- a/src/sat/bsat/satSolver.h
+++ b/src/sat/bsat/satSolver.h
@@ -203,6 +203,7 @@ static void sat_solver_compress(sat_solver* s)
     {
         int RetValue = sat_solver_simplify(s);
         assert( RetValue != 0 );
+        (void) RetValue;
     }
 }
 
-- 
cgit v1.2.3