From 17805f1ebaf4ec879fbd25d8e4d91c60fd7dbd77 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Tue, 14 Dec 2010 14:27:52 +0000
Subject: [PATCH] Error on build PTA from GUI.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@2327 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/prism/Prism.java | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/prism/src/prism/Prism.java b/prism/src/prism/Prism.java
index 7515c24f..d755ec80 100644
--- a/prism/src/prism/Prism.java
+++ b/prism/src/prism/Prism.java
@@ -975,6 +975,10 @@ public class Prism implements PrismSettingsListener
 		long l; // timer
 		Model model;
 		
+		if (modulesFile.getModelType() == ModelType.PTA) {
+			throw new PrismException("You cannot build a PTA model explicitly, only perform model checking");
+		}
+		
 		mainLog.print("\nBuilding model");
 		if (msg != null) if (msg.length() > 0) mainLog.print(" (" + msg + ")");
 		mainLog.print("...\n");