From fa238ef939a84ecc08d44270cc51af4d54de5d74 Mon Sep 17 00:00:00 2001
From: Ruediger Ehlers <mail2022@ruediger-ehlers.de>
Date: Tue, 27 Feb 2024 22:34:41 +0100
Subject: [PATCH] Cast to remove warning

---
 src/BFAbstractionLibrary/BFCuddManager.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/BFAbstractionLibrary/BFCuddManager.cpp b/src/BFAbstractionLibrary/BFCuddManager.cpp
index 54494ce..e1baf57 100644
--- a/src/BFAbstractionLibrary/BFCuddManager.cpp
+++ b/src/BFAbstractionLibrary/BFCuddManager.cpp
@@ -160,8 +160,8 @@ BFBdd BFBddManager::readBDDFromFile(const char *filename, std::vector<BFBdd> &va
     }
 
     const char *idMatcher[Cudd_ReadSize(mgr)];
-    for (unsigned int i=0;i<Cudd_ReadSize(mgr);i++) { idMatcher[i] = ""; }
-    for (unsigned int i=0;i<Cudd_ReadSize(mgr);i++) { idMatcher[vars[i].readNodeIndex()] = varNames[i].c_str(); }
+    for (unsigned int i=0;i<static_cast<unsigned int>(Cudd_ReadSize(mgr));i++) { idMatcher[i] = ""; }
+    for (unsigned int i=0;i<static_cast<unsigned int>(Cudd_ReadSize(mgr));i++) { idMatcher[vars[i].readNodeIndex()] = varNames[i].c_str(); }
 
     DdNode *node = Dddmp_cuddBddLoad(mgr, DDDMP_VAR_MATCHNAMES, const_cast<char**>(idMatcher), NULL, NULL, DDDMP_MODE_DEFAULT,NULL,file);
     fclose(file);