diff --git a/prism/src/sparse/PS_NondetMultiReach.cc b/prism/src/sparse/PS_NondetMultiReach.cc
index db232673..36aa2ec3 100644
--- a/prism/src/sparse/PS_NondetMultiReach.cc
+++ b/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.");
       }
     }
   
diff --git a/prism/src/sparse/PS_NondetMultiReach1.cc b/prism/src/sparse/PS_NondetMultiReach1.cc
index 6e0f5d51..b5f1436d 100644
--- a/prism/src/sparse/PS_NondetMultiReach1.cc
+++ b/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.");
       }
     }
   
diff --git a/prism/src/sparse/PS_NondetMultiReachReward.cc b/prism/src/sparse/PS_NondetMultiReachReward.cc
index e26b9d81..b695de1d 100644
--- a/prism/src/sparse/PS_NondetMultiReachReward.cc
+++ b/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.");
       }
     }
   
diff --git a/prism/src/sparse/PS_NondetMultiReachReward1.cc b/prism/src/sparse/PS_NondetMultiReachReward1.cc
index cfe53c5e..d55f67a3 100644
--- a/prism/src/sparse/PS_NondetMultiReachReward1.cc
+++ b/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.");
       }
     }
   
diff --git a/prism/src/sparse/PS_NondetReachReward.cc b/prism/src/sparse/PS_NondetReachReward.cc
index 3882cb01..5dbff833 100644
--- a/prism/src/sparse/PS_NondetReachReward.cc
+++ b/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.");
 		}
 	}
 	
diff --git a/prism/src/sparse/PS_NondetReachRewardInterval.cc b/prism/src/sparse/PS_NondetReachRewardInterval.cc
index 556cf7f2..3f35b0c3 100644
--- a/prism/src/sparse/PS_NondetReachRewardInterval.cc
+++ b/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.");
 		}
 	}
 	
diff --git a/prism/src/sparse/PS_NondetUntil.cc b/prism/src/sparse/PS_NondetUntil.cc
index 98644086..5eb7b02f 100644
--- a/prism/src/sparse/PS_NondetUntil.cc
+++ b/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.");
 		}
 	}
 	
diff --git a/prism/src/sparse/PS_NondetUntilInterval.cc b/prism/src/sparse/PS_NondetUntilInterval.cc
index 167f1c41..94262236 100644
--- a/prism/src/sparse/PS_NondetUntilInterval.cc
+++ b/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.");
 		}
 	}