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;