Export to PRISM language from explicit models.

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

prism/src/explicit/STPG.java

@@ -672,6 +672,12 @@ public class STPG extends ModelSimple
 		}
 	}
 
+	@Override
+	public void exportToPrismLanguage(String filename) throws PrismException
+	{
+		throw new PrismException("Export to STPG PRISM models not supported");
+	}
+	
 	/**
 	 * Get string with model info/stats.
 	 */