NativeIntArray.cc: use ptr_to_jlong instead of a simple (long) cast

On Win64 long is 32bit.


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

prism/src/prism/NativeIntArray.cc

@@ -31,7 +31,7 @@ JNIEXPORT jlong JNICALL Java_prism_NativeIntArray_NIA_1CreateArray
 (JNIEnv * env, jclass cls, jint size)
 {
     int* a = new int[size];
-    return (long) a;
+    return ptr_to_jlong(a);
 }
 
 JNIEXPORT void JNICALL Java_prism_NativeIntArray_NIA_1DeleteArray
@@ -58,4 +58,4 @@ JNIEXPORT void JNICALL Java_prism_NativeIntArray_NIA_1SetAll
     int* a = (int *) jlong_to_ptr(ptr);
     for(int i = 0; i < count; i++)
         a[i+index] = value;
-}
+}