Synthesis for mesh of LUTs.

d81d9cc0 · Alan Mishchenko · 9e668f1b · d81d9cc0
Commit d81d9cc0 authored Mar 17, 2017 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 1 additions and 1 deletions

src/sat/bmc/bmcMesh.c
+1 -1

No files found.
--- 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;