Browse Source

Compile fix (for Windows).

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6247 bbc10eb1-c90d-0410-af57-cb519fbb1720
master
Dave Parker 13 years ago
parent
commit
9074396fc1
  1. 4
      prism/src/sparse/PS_NondetMultiObj.cc

4
prism/src/sparse/PS_NondetMultiObj.cc

@ -172,8 +172,8 @@ JNIEXPORT jdoubleArray __jlongpointer JNICALL Java_sparse_PrismSparse_PS_1Nondet
double* weights = env->GetDoubleArrayElements(_weights, 0);
int* step_bounds_r = (has_rewards) ? env->GetIntArrayElements(_ndsm_r_step_bounds, 0) : NULL;
int* step_bounds = (has_yes_vec) ? env->GetIntArrayElements(_prob_step_bounds, 0) : NULL;
int* step_bounds_r = (has_rewards) ? (int*)env->GetIntArrayElements(_ndsm_r_step_bounds, 0) : NULL;
int* step_bounds = (has_yes_vec) ? (int*)env->GetIntArrayElements(_prob_step_bounds, 0) : NULL;
int max_step_bound = 0;

Loading…
Cancel
Save