diff --git a/prism/src/explicit/STPG.java b/prism/src/explicit/STPG.java
index 14f5858d..ed27148f 100644
--- a/prism/src/explicit/STPG.java
+++ b/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.
 	 */