From 64409828ef9792889be5fae777e98daaed190eba Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Fri, 10 Feb 2012 17:31:03 +0000
Subject: [PATCH] Change PrismTest to use new Prism API.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4581 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/prism/PrismTest.java | 1 -
 1 file changed, 1 deletion(-)

diff --git a/prism/src/prism/PrismTest.java b/prism/src/prism/PrismTest.java
index cd610ecb..7a583f5b 100644
--- a/prism/src/prism/PrismTest.java
+++ b/prism/src/prism/PrismTest.java
@@ -50,7 +50,6 @@ public class PrismTest
 			PrismLog mainLog;
 			Prism prism;
 			ModulesFile modulesFile;
-			Model model;
 			PropertiesFile propertiesFile;
 			Result result;