From 2126cb3ca161394c6afcc9e307d869621df41c7d Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 5 Mar 2025 10:30:16 -0800
Subject: [PATCH] Fixing a typo in Kissat integration.

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

diff --git a/src/sat/kissat/kissatSolver.c b/src/sat/kissat/kissatSolver.c
index dcc6e754f..d0a6f7da5 100644
--- a/src/sat/kissat/kissatSolver.c
+++ b/src/sat/kissat/kissatSolver.c
@@ -230,7 +230,7 @@ Vec_Int_t * kissat_solve_cnf( Cnf_Dat_t * pCnf, char * pArgs, int nConfs, int nT
     if ( RetValue == 1 ) {
         vRes = Vec_IntAlloc( pCnf->nVars );
         for ( i = 0; i < pCnf->nVars; i++ )
-          Vec_IntPush( vRes, kissat_solver_get_var_value(pSat, 1) );
+          Vec_IntPush( vRes, kissat_solver_get_var_value(pSat, i) );
     }
     kissat_solver_delete(pSat);
     Abc_PrintTime( 1, "Time", Abc_Clock() - clk );