Code tidy to remove compile errors.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@874 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/include/PrismMTBDDGlob.h

@@ -78,11 +78,11 @@ extern JNIEnv *export_env;
 
 // function prototypes
 
-void PM_PrintToMainLog(JNIEnv *env, char *str, ...);
-void PM_PrintToTechLog(JNIEnv *env, char *str, ...);
-void PM_SetErrorMessage(char *str, ...);
+void PM_PrintToMainLog(JNIEnv *env, const char *str, ...);
+void PM_PrintToTechLog(JNIEnv *env, const char *str, ...);
+void PM_SetErrorMessage(const char *str, ...);
 char *PM_GetErrorMessage();
 int store_export_info(int type, jstring fn, JNIEnv *env);
-void export_string(char *str, ...);
+void export_string(const char *str, ...);
 
 //------------------------------------------------------------------------------

prism/src/mtbdd/PrismMTBDD.cc

@@ -123,7 +123,7 @@ JNIEXPORT void JNICALL Java_mtbdd_PrismMTBDD_PM_1SetTechLog(JNIEnv *env, jclass
 
 //------------------------------------------------------------------------------
 
-void PM_PrintToMainLog(JNIEnv *env, char *str, ...)
+void PM_PrintToMainLog(JNIEnv *env, const char *str, ...)
 {
 	va_list argptr;
 	char full_string[MAX_LOG_STRING_LEN];
@@ -140,7 +140,7 @@ void PM_PrintToMainLog(JNIEnv *env, char *str, ...)
 
 //------------------------------------------------------------------------------
 
-void PM_PrintToTechLog(JNIEnv *env, char *str, ...)
+void PM_PrintToTechLog(JNIEnv *env, const char *str, ...)
 {
 	va_list argptr;
 	char full_string[MAX_LOG_STRING_LEN];
@@ -221,7 +221,7 @@ int store_export_info(int type, jstring fn, JNIEnv *env)
 
 // export string (either to file or main log)
 
-void export_string(char *str, ...)
+void export_string(const char *str, ...)
 {
 	va_list argptr;
 	char full_string[MAX_LOG_STRING_LEN];
@@ -250,7 +250,7 @@ JNIEXPORT void JNICALL Java_mtbdd_PrismMTBDD_PM_1SetDoSSDetect(JNIEnv *env, jcla
 // error message handling
 //------------------------------------------------------------------------------
 
-void PM_SetErrorMessage(char *str, ...)
+void PM_SetErrorMessage(const char *str, ...)
 {
 	va_list argptr;