updating bdd