From 4bbbb362e159ec9fd0ef75fa0849d82867f0ae48 Mon Sep 17 00:00:00 2001
From: Marcel Nageler <marcel.nageler@iaik.tugraz.at>
Date: Wed, 20 Dec 2023 15:18:22 +0100
Subject: [PATCH] fix add_clauses in Python bindings

---
 python/src/pyapproxmc.cpp | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/python/src/pyapproxmc.cpp b/python/src/pyapproxmc.cpp
index b3bacd6..b8b6227 100644
--- 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;