Fix for bug introduced in earlier commit removing offsets from Prism settings.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@7135 bbc10eb1-c90d-0410-af57-cb519fbb1720
13 years ago · 94de47ee4a
1 changed files with 1 additions and 1 deletions
--- a/prism/src/prism/Prism.java
+++ b/prism/src/prism/Prism.java
@ -644,7 +644,7 @@ public class Prism extends PrismComponent implements PrismSettingsListener

 	public int getEngine()
 	{
-		return settings.getInteger(PrismSettings.PRISM_ENGINE);
+		return settings.getChoice(PrismSettings.PRISM_ENGINE);
 	}

 	/**