From 08113e0e0432b11cfc478685aec5ebb33dc188d2 Mon Sep 17 00:00:00 2001
From: philipp <philipp@lrde.epita.fr>
Date: Tue, 27 Jul 2021 16:22:32 +0200
Subject: [PATCH] Adding bdd_has_common_assignement

* python/buddy.i: Here
---
 python/buddy.i | 1 +
 1 file changed, 1 insertion(+)

diff --git a/python/buddy.i b/python/buddy.i
index 638a733a0..423e2e5d5 100644
--- a/python/buddy.i
+++ b/python/buddy.i
@@ -188,6 +188,7 @@ double bdd_satcountlnset(const bdd &r, const bdd &varset);
 int bdd_nodecount(const bdd &r);
 int* bdd_varprofile(const bdd &r);
 double bdd_pathcount(const bdd &r);
+int bdd_has_common_assignement(const bdd &l, const bdd &r);
 void bdd_fprinttable(FILE *file, const bdd &r);
 void bdd_printtable(const bdd &r);
 void bdd_fprintset(FILE *file, const bdd &r);