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 *);