From 2d316b86e29704c28487533518bf67f2672fcd8f Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 17 Feb 2012 00:06:39 -0800
Subject: Silencing some of the gcc warnings.

---
 src/bdd/cudd/cuddReorder.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/bdd')

diff --git a/src/bdd/cudd/cuddReorder.c b/src/bdd/cudd/cuddReorder.c
index fef0768a..b7d91dd9 100644
--- a/src/bdd/cudd/cuddReorder.c
+++ b/src/bdd/cudd/cuddReorder.c
@@ -615,7 +615,7 @@ cuddSwapping(
     int iterate;
     int previousSize;
     Move *moves, *move;
-    int pivot;
+    int pivot = -1;
     int modulo;
     int result;
 
-- 
cgit v1.2.3