Fix various little bugs and loosen up various warnings
Change-Id: Iead48ac030290290c7c448b6f72a31380c2e8326
diff --git a/third_party/cddlib/lib-src/cdd.h b/third_party/cddlib/lib-src/cdd.h
index 6925745..3c37254 100644
--- a/third_party/cddlib/lib-src/cdd.h
+++ b/third_party/cddlib/lib-src/cdd.h
@@ -225,7 +225,7 @@
void dd_FreeDDMemory0(dd_ConePtr);
void dd_fread_rational_value (FILE *f, mytype value);
-void dd_sread_rational_value (const char *s, mytype value);
+void dd_sread_rational_value (char *s, mytype value);
void dd_AddNewHalfspace1(dd_ConePtr, dd_rowrange);
void dd_AddNewHalfspace2(dd_ConePtr, dd_rowrange);
void dd_AddRay(dd_ConePtr, mytype *);
diff --git a/third_party/cddlib/lib-src/cddio.c b/third_party/cddlib/lib-src/cddio.c
index 58545d5..783dd1c 100644
--- a/third_party/cddlib/lib-src/cddio.c
+++ b/third_party/cddlib/lib-src/cddio.c
@@ -68,7 +68,7 @@
void dd_SetWriteFileName(dd_DataFileType inputfile, dd_DataFileType outfile, char cflag, dd_RepresentationType rep)
{
- char *extension;
+ const char *extension;
dd_DataFileType ifilehead="";
int i,dotpos;
@@ -1931,7 +1931,7 @@
/****************************************************************************************/
/* rational number (a/b) read is taken from Vinci by Benno Bueeler and Andreas Enge */
/****************************************************************************************/
-void dd_sread_rational_value (const char *s, mytype value)
+void dd_sread_rational_value (char *s, mytype value)
/* reads a rational value from the specified string "s" and assigns it to "value" */
{
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);
}