Small update to Strategy interface.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@7194 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/src/strat/MDStrategy.java

@@ -70,7 +70,7 @@ public abstract class MDStrategy implements Strategy
 	}
 	
 	@Override
-	public void update(int action, int s)
+	public void update(Object action, int s)
 	{
 		currentState = s;
 	}

prism/src/strat/Strategy.java

@@ -55,7 +55,7 @@ public interface Strategy
 	 * @param action The action taken in the previous state of the model
 	 * @param s The new state of the model
 	 */
-	public void update(int action, int s);
+	public void update(Object action, int s);
 	
 	/**
 	 * Get the action chosen by the strategy in the current state (assuming it is deterministic).