fix warning

2014-02-12 00:34:40 +00:00
parent df0986eb45
commit e2bd922f8b
2 changed files with 2 additions and 2 deletions
--- a/packages/ProbLog/simplecudd_lfi/problogbdd_lfi.c
+++ b/packages/ProbLog/simplecudd_lfi/problogbdd_lfi.c
@@ -825,7 +825,7 @@ void PrintNodeQueue(Queue q , extmanager MyManager){
 /* will be changed at later stage */
 static extmanager * ineedtostorethatsomehow;
 int comparator(void *av, void *bv){
-    int ret;
+    int ret = 0;
    DdNode* a = (DdNode*)av;
    DdNode* b = (DdNode*)bv;
    int aindex,bindex, aperm, bperm;