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);