From 57258db7a20fa150b8af671c14800506c5e1a1d2 Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Tue, 5 Jan 2016 16:45:22 +0000
Subject: [PATCH] typo: getListOfKeywords()

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11110 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/prism/Prism.java   | 2 +-
 prism/src/prism/PrismCL.java | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/prism/src/prism/Prism.java b/prism/src/prism/Prism.java
index 25cce301..0b4160f7 100644
--- a/prism/src/prism/Prism.java
+++ b/prism/src/prism/Prism.java
@@ -1254,7 +1254,7 @@ public class Prism extends PrismComponent implements PrismSettingsListener
 	/**
 	 * Get access to the list of all PRISM language keywords.
 	 */
-	public static List<String> getListOfKeyords()
+	public static List<String> getListOfKeywords()
 	{
 		return PrismParser.getListOfKeywords();
 	}
diff --git a/prism/src/prism/PrismCL.java b/prism/src/prism/PrismCL.java
index 15592206..72aab5db 100644
--- a/prism/src/prism/PrismCL.java
+++ b/prism/src/prism/PrismCL.java
@@ -2346,7 +2346,7 @@ public class PrismCL implements PrismModelListener
 	 */
 	private void printListOfKeywords()
 	{
-		List<String> list = Prism.getListOfKeyords();
+		List<String> list = Prism.getListOfKeywords();
 		mainLog.print("PRISM keywords:");
 		for (String s : list) {
 			mainLog.print(" " + s);