diff --git a/prism/src/explicit/StateModelChecker.java b/prism/src/explicit/StateModelChecker.java
index eea26b09..92b8ead9 100644
--- a/prism/src/explicit/StateModelChecker.java
+++ b/prism/src/explicit/StateModelChecker.java
@@ -86,6 +86,10 @@ public class StateModelChecker extends PrismComponent
 
 	// Additional flags/settings not included in PrismSettings
 
+	// Export target state info?
+	protected boolean exportTarget = false;
+	protected String exportTargetFilename = null;
+	
 	// Export product model info?
 	protected boolean exportProductTrans = false;
 	protected String exportProductTransFilename = null;
@@ -202,6 +206,16 @@ public class StateModelChecker extends PrismComponent
 		this.verbosity = verbosity;
 	}
 
+	public void setExportTarget(boolean b) throws PrismException
+	{
+		exportTarget = b;
+	}
+
+	public void setExportTargetFilename(String s) throws PrismException
+	{
+		exportTargetFilename = s;
+	}
+
 	public void setExportProductTrans(boolean b) throws PrismException
 	{
 		exportProductTrans = b;
@@ -253,6 +267,16 @@ public class StateModelChecker extends PrismComponent
 		return verbosity;
 	}
 
+	public boolean getExportTarget()
+	{
+		return exportTarget;
+	}
+
+	public String getExportTargetFilename()
+	{
+		return exportTargetFilename;
+	}
+
 	public boolean getExportProductTrans()
 	{
 		return exportProductTrans;
diff --git a/prism/src/prism/Prism.java b/prism/src/prism/Prism.java
index 3b24169d..ff69767b 100644
--- a/prism/src/prism/Prism.java
+++ b/prism/src/prism/Prism.java
@@ -3571,6 +3571,8 @@ public class Prism extends PrismComponent implements PrismSettingsListener
 		explicit.StateModelChecker mc = explicit.StateModelChecker.createModelChecker(currentModelType, this);
 		mc.setModulesFileAndPropertiesFile(currentModulesFile, propertiesFile);
 		// Pass any additional local settings
+		mc.setExportTarget(exportTarget);
+		mc.setExportTargetFilename(exportTargetFilename);
 		mc.setExportProductTrans(exportProductTrans);
 		mc.setExportProductTransFilename(exportProductTransFilename);
 		mc.setExportProductStates(exportProductStates);