diff --git a/prism/src/prism/NondetModel.java b/prism/src/prism/NondetModel.java
index 12b0e36c..484f8bb7 100644
--- a/prism/src/prism/NondetModel.java
+++ b/prism/src/prism/NondetModel.java
@@ -33,7 +33,6 @@ import jdd.*;
 import odd.*;
 import mtbdd.*;
 import parser.*;
-import parser.ast.Expression;
 import sparse.*;
 
 /*