Fix build with clang

SSoelvsten · May 1, 2024 · da344ff · da344ff
1 parent 3bb80e4
commit da344ff
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/src/calObj.hh b/src/calObj.hh
@@ -1201,7 +1201,7 @@ public:
     std::vector<Cal_Bdd> c_arg =
       BDD::C_Bdd_vector(this->_bddManager, std::move(begin), std::move(end));
 
-    const BDD res = Cal_BddMultiwayAnd(this->_bddManager, c_arg.data());
+    const BDD res(this->_bddManager, Cal_BddMultiwayAnd(this->_bddManager, c_arg.data()));
 
     BDD::Free(this->_bddManager, c_arg.begin(), c_arg.end());
 
@@ -1242,7 +1242,7 @@ public:
     std::vector<Cal_Bdd> c_arg =
       BDD::C_Bdd_vector(this->_bddManager, std::move(begin), std::move(end));
 
-    const BDD res = Cal_BddMultiwayOr(this->_bddManager, c_arg.data());
+    const BDD res(this->_bddManager, Cal_BddMultiwayOr(this->_bddManager, c_arg.data()));
 
     BDD::Free(this->_bddManager, c_arg.begin(), c_arg.end());
 
@@ -1283,7 +1283,7 @@ public:
     std::vector<Cal_Bdd> c_arg =
       BDD::C_Bdd_vector(this->_bddManager, std::move(begin), std::move(end));
 
-    const BDD res = Cal_BddMultiwayXor(this->_bddManager, c_arg.data());
+    const BDD res(this->_bddManager, Cal_BddMultiwayXor(this->_bddManager, c_arg.data()));
 
     BDD::Free(this->_bddManager, c_arg.begin(), c_arg.end());