From 2f5de7b7143938c5d1eeeb5068f424ce9176d095 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Sat, 13 Aug 2011 12:07:15 +0000
Subject: [PATCH] GUISimulatorPathTableModel reads from new PathFullInfo
 interface.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@3467 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 .../userinterface/simulator/GUISimulatorPathTableModel.java | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/prism/src/userinterface/simulator/GUISimulatorPathTableModel.java b/prism/src/userinterface/simulator/GUISimulatorPathTableModel.java
index bd0e3104..8987d4d4 100644
--- a/prism/src/userinterface/simulator/GUISimulatorPathTableModel.java
+++ b/prism/src/userinterface/simulator/GUISimulatorPathTableModel.java
@@ -31,7 +31,7 @@ package userinterface.simulator;
 import java.util.*;
 import javax.swing.table.AbstractTableModel;
 
-import simulator.PathFull;
+import simulator.PathFullInfo;
 import userinterface.simulator.SimulationView.*;
 import userinterface.util.GUIGroupedTableModel;
 import parser.ast.*;
@@ -45,7 +45,7 @@ public class GUISimulatorPathTableModel extends AbstractTableModel implements GU
 
 	private boolean pathActive;
 	private ModulesFile parsedModel;
-	private PathFull path; 
+	private PathFullInfo path; 
 
 	private RewardStructureValue rewardStructureValue;
 	private VariableValue variableValue;
@@ -67,7 +67,7 @@ public class GUISimulatorPathTableModel extends AbstractTableModel implements GU
 		this.pathActive = pathActive;
 	}
 
-	public void setPath(PathFull path)
+	public void setPath(PathFullInfo path)
 	{
 		this.path = path;
 	}