PS: cleanup warning message printing

Remove unused argument.


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

prism/src/sparse/PS_NondetMultiReach.cc

@@ -195,7 +195,7 @@ JNIEXPORT jdouble __jlongpointer JNICALL Java_sparse_PrismSparse_PS_1NondetMulti
         // also extract list of action names from 'synchs'
         get_string_array_from_java(env, synchs, action_names_jstrings, action_names, num_actions);
       } else {
-        PS_PrintWarningToMainLog(env, "Action labels are not available for adversary generation.", export_adv_filename);
+        PS_PrintWarningToMainLog(env, "Action labels are not available for adversary generation.");
       }
     }
   

prism/src/sparse/PS_NondetMultiReach1.cc

@@ -221,7 +221,7 @@ JNIEXPORT jdouble __jlongpointer JNICALL Java_sparse_PrismSparse_PS_1NondetMulti
         // also extract list of action names from 'synchs'
         get_string_array_from_java(env, synchs, action_names_jstrings, action_names, num_actions);
       } else {
-        PS_PrintWarningToMainLog(env, "Action labels are not available for adversary generation.", export_adv_filename);
+        PS_PrintWarningToMainLog(env, "Action labels are not available for adversary generation.");
       }
     }
   

prism/src/sparse/PS_NondetMultiReachReward.cc

@@ -238,7 +238,7 @@ JNIEXPORT jdouble __jlongpointer JNICALL Java_sparse_PrismSparse_PS_1NondetMulti
         // also extract list of action names from 'synchs'
         get_string_array_from_java(env, synchs, action_names_jstrings, action_names, num_actions);
       } else {
-        PS_PrintWarningToMainLog(env, "Action labels are not available for adversary generation.", export_adv_filename);
+        PS_PrintWarningToMainLog(env, "Action labels are not available for adversary generation.");
       }
     }
   

prism/src/sparse/PS_NondetMultiReachReward1.cc

@@ -261,7 +261,7 @@ JNIEXPORT jdouble __jlongpointer JNICALL Java_sparse_PrismSparse_PS_1NondetMulti
         // also extract list of action names from 'synchs'
         get_string_array_from_java(env, synchs, action_names_jstrings, action_names, num_actions);
       } else {
-        PS_PrintWarningToMainLog(env, "Action labels are not available for adversary generation.", export_adv_filename);
+        PS_PrintWarningToMainLog(env, "Action labels are not available for adversary generation.");
       }
     }
   

prism/src/sparse/PS_NondetReachReward.cc

@@ -160,7 +160,7 @@ jboolean min				// min or max probabilities (true = min, false = max)
 			// also extract list of action names from 'synchs'
 			get_string_array_from_java(env, synchs, action_names_jstrings, action_names, num_actions);
 		} else {
-			PS_PrintWarningToMainLog(env, "Action labels are not available for adversary generation.", export_adv_filename);
+			PS_PrintWarningToMainLog(env, "Action labels are not available for adversary generation.");
 		}
 	}
 	

prism/src/sparse/PS_NondetReachRewardInterval.cc

@@ -175,7 +175,7 @@ jint flags
 			// also extract list of action names from 'synchs'
 			get_string_array_from_java(env, synchs, action_names_jstrings, action_names, num_actions);
 		} else {
-			PS_PrintWarningToMainLog(env, "Action labels are not available for adversary generation.", export_adv_filename);
+			PS_PrintWarningToMainLog(env, "Action labels are not available for adversary generation.");
 		}
 	}
 	

prism/src/sparse/PS_NondetUntil.cc

@@ -158,7 +158,7 @@ jlong _strat				// strategy storage
 			// also extract list of action names from 'synchs'
 			get_string_array_from_java(env, synchs, action_names_jstrings, action_names, num_actions);
 		} else {
-			PS_PrintWarningToMainLog(env, "Action labels are not available for adversary generation.", export_adv_filename);
+			PS_PrintWarningToMainLog(env, "Action labels are not available for adversary generation.");
 		}
 	}
 	

prism/src/sparse/PS_NondetUntilInterval.cc

@@ -171,7 +171,7 @@ jint flags
 			// also extract list of action names from 'synchs'
 			get_string_array_from_java(env, synchs, action_names_jstrings, action_names, num_actions);
 		} else {
-			PS_PrintWarningToMainLog(env, "Action labels are not available for adversary generation.", export_adv_filename);
+			PS_PrintWarningToMainLog(env, "Action labels are not available for adversary generation.");
 		}
 	}