From dc90c177600140a9b39fcc04873a7e14235c510f Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Fri, 15 Oct 2010 16:54:13 +0000
Subject: [PATCH] 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 | 6 ++++++
 1 file changed, 6 insertions(+)

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.
 	 */