Browse Source

typo: getListOfKeywords()

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11110 bbc10eb1-c90d-0410-af57-cb519fbb1720
master
Joachim Klein 10 years ago
parent
commit
57258db7a2
  1. 2
      prism/src/prism/Prism.java
  2. 2
      prism/src/prism/PrismCL.java

2
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. * Get access to the list of all PRISM language keywords.
*/ */
public static List<String> getListOfKeyords()
public static List<String> getListOfKeywords()
{ {
return PrismParser.getListOfKeywords(); return PrismParser.getListOfKeywords();
} }

2
prism/src/prism/PrismCL.java

@ -2346,7 +2346,7 @@ public class PrismCL implements PrismModelListener
*/ */
private void printListOfKeywords() private void printListOfKeywords()
{ {
List<String> list = Prism.getListOfKeyords();
List<String> list = Prism.getListOfKeywords();
mainLog.print("PRISM keywords:"); mainLog.print("PRISM keywords:");
for (String s : list) { for (String s : list) {
mainLog.print(" " + s); mainLog.print(" " + s);

Loading…
Cancel
Save