Fix various little bugs and loosen up various warnings
Change-Id: Iead48ac030290290c7c448b6f72a31380c2e8326
diff --git a/third_party/cddlib/lib-src/cddlp.c b/third_party/cddlib/lib-src/cddlp.c
index 46f98b5..6605c02 100644
--- a/third_party/cddlib/lib-src/cddlp.c
+++ b/third_party/cddlib/lib-src/cddlp.c
@@ -2951,7 +2951,7 @@
} /* endwhile */
} else {
/* No interior point is found. Apply the standard LP technique. */
- if (localdebug) printf("No interior-point is found and thus the standard LP technique will be used.\n", ired);
+ if (localdebug) printf("No interior-point is found and thus the standard LP technique will be used.\n");
redset=dd_RedundantRows(M, error);
}