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