Type cast fix: stops compilation on Mac.

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

prism/include/prism.h

@@ -43,7 +43,7 @@ typedef struct FoxGlynnWeights
 } FoxGlynnWeights;
 
 // Function prototypes
-EXPORT void get_string_array_from_java(JNIEnv *env, jobject strings_list, jstring *&strings_jstrings, const char **&strings, jint &size);
+EXPORT void get_string_array_from_java(JNIEnv *env, jobject strings_list, jstring *&strings_jstrings, const char **&strings, int &size);
 EXPORT void release_string_array_from_java(JNIEnv *env, jstring *strings_jstrings, const char **strings, jint size);
 EXPORT FoxGlynnWeights fox_glynn(double q_tmax, double underflow, double overflow, double accuracy);
 

prism/src/prism/prism.cc

@@ -37,7 +37,7 @@
 // actually stores arrays of both jstring objects and c strings, and also size
 // (because need these to free memory afterwards).
 
-void get_string_array_from_java(JNIEnv *env, jobject strings_list, jstring *&strings_jstrings, const char **&strings, jint &size)
+void get_string_array_from_java(JNIEnv *env, jobject strings_list, jstring *&strings_jstrings, const char **&strings, int &size)
 {
 	int i, j;
 	jclass vn_cls;
@@ -48,7 +48,7 @@ void get_string_array_from_java(JNIEnv *env, jobject strings_list, jstring *&str
 	if (vn_mid == 0) {
 		return;
 	}
-	size = env->CallIntMethod(strings_list,vn_mid);
+	size = (int)env->CallIntMethod(strings_list,vn_mid);
 	// put strings from vector into array
 	strings_jstrings = new jstring[size];
 	strings = new const char*[size];