fixes + win64

2016-11-08 01:37:36 -06:00
parent 46a9d52d2d
commit b03e0634c7
56 changed files with 1612 additions and 1529 deletions
--- a/packages/cplint/approx/simplecuddLPADs/simplecudd.c
+++ b/packages/cplint/approx/simplecuddLPADs/simplecudd.c
@@ -388,7 +388,7 @@ int simpleNamedBDDtoDot(DdManager *manager, namedvars varmap, DdNode *bdd,
    perror(filename);
    return -1;
  }
-  const char *vs = varmap.vars;
+  const char **vs = varmap.vars;
  ret = Cudd_DumpDot(manager, 1, f, vs, NULL, fd);
  fclose(fd);
  return ret;