From b054b67e368345313c65037552f314aaecdccd44 Mon Sep 17 00:00:00 2001
From: Samuel Pastva <sam.pastva@gmail.com>
Date: Wed, 29 Nov 2023 12:22:28 +0100
Subject: [PATCH] Add `IntoBdd` for `&Bdd`.

---
 src/_macro_bdd.rs | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/src/_macro_bdd.rs b/src/_macro_bdd.rs
index 712dda6..38d7564 100644
--- a/src/_macro_bdd.rs
+++ b/src/_macro_bdd.rs
@@ -44,6 +44,12 @@ impl IntoBdd for Bdd {
     }
 }
 
+impl IntoBdd for &Bdd {
+    fn into_bdd(self, _variables: &BddVariableSet) -> Bdd {
+        self.clone()
+    }
+}
+
 impl IntoBdd for &str {
     fn into_bdd(self, variables: &BddVariableSet) -> Bdd {
         variables.mk_var_by_name(self)