diff --git a/src/sat/bmc/bmcMesh.c b/src/sat/bmc/bmcMesh.c
index 3f8659fbd..3ced0dd7b 100644
--- a/src/sat/bmc/bmcMesh.c
+++ b/src/sat/bmc/bmcMesh.c
@@ -51,7 +51,7 @@ inline int Bmc_MeshUVar( int Me[102][102], int x, int y ) { return Me[x][y] + Me
   SeeAlso     []
 
 ***********************************************************************/
-static inline Bmc_MeshVarValue( satoko_t * p, int v )
+static inline int Bmc_MeshVarValue( satoko_t * p, int v )
 {
     int value = var_value(p, v) != VAR_UNASSING ? var_value(p, v) : var_polarity(p, v);
     return value == LIT_TRUE;