removed typos in javadoc

mattulbrich · wadoon · commit 4e0508a5fd7b · 2025-09-07T04:37:44.000+02:00
diff --git a/key.core/src/main/java/de/uka/ilkd/key/nparser/ParsingFacade.java b/key.core/src/main/java/de/uka/ilkd/key/nparser/ParsingFacade.java
@@ -46,8 +46,8 @@ private ParsingFacade() {
     }
 
     /**
-     * Use this function to retrieve the {@link ParserRuleContext} inside and {@link KeyAst} object.
-     * <b>The use of this method is discourage and should be avoided in all high level
+     * Use this function to retrieve the {@link ParserRuleContext} inside an {@link KeyAst} object.
+     * <b>The use of this method is discouraged and should be avoided in all high level
      * scenarios.</b>
      *
      * @param ast a key ast object

Original file line number	Diff line number	Diff line change
`@@ -46,8 +46,8 @@ private ParsingFacade() {`
`46`	`46`	`}`
`47`	`47`
`48`	`48`	`/**`
`49`		`- * Use this function to retrieve the {@link ParserRuleContext} inside and {@link KeyAst} object.`
`50`		`- * <b>The use of this method is discourage and should be avoided in all high level`
	`49`	`+ * Use this function to retrieve the {@link ParserRuleContext} inside an {@link KeyAst} object.`
	`50`	`+ * <b>The use of this method is discouraged and should be avoided in all high level`
`51`	`51`	`* scenarios.</b>`
`52`	`52`	`*`
`53`	`53`	`* @param ast a key ast object`