Bug fixes in CUDD 2.4.2.

b4a46eb6 · Alan Mishchenko · a24e678a · b4a46eb6
Commit b4a46eb6 authored Dec 06, 2011 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 2 deletions

src/bdd/cudd/cuddInteract.c
+2 -2

No files found.
--- a/src/bdd/cudd/cuddInteract.c
+++ b/src/bdd/cudd/cuddInteract.c
@@ -193,10 +193,10 @@ cuddTestInteract(
  int  x,
  int  y)
 {
-    long posn, word, bit, result;
+    int posn, word, bit, result;

    if (x > y) {
-        long tmp = x;
+        int tmp = x;
        x = y;
        y = tmp;
    }