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 getListOfKeyords() + public static List 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 list = Prism.getListOfKeyords(); + List list = Prism.getListOfKeywords(); mainLog.print("PRISM keywords:"); for (String s : list) { mainLog.print(" " + s);