fix add_clauses in Python bindings

meelgroup · Dec 20, 2023 · 4bbbb36 · 4bbbb36
1 parent 23fe3e7
commit 4bbbb36
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/python/src/pyapproxmc.cpp b/python/src/pyapproxmc.cpp
@@ -241,10 +241,10 @@ static int _add_clauses_from_array(Counter *self, const size_t array_length, con
             lits.push_back(CMSat::Lit(var, sign));
         }
         if (!lits.empty()) {
-            if (max_var >= (long int)self->appmc->nVars()) {
-                self->appmc->new_vars(max_var-(long int)self->appmc->nVars()+1);
+            if (max_var >= (long int)self->arjun->nVars()) {
+                self->arjun->new_vars(max_var-(long int)self->arjun->nVars()+1);
             }
-            self->appmc->add_clause(lits);
+            self->arjun->add_clause(lits);
         }
     }
     return 1;