Merge pull request #159 from ftsrg/javadoc-4.0-fix

Removed arrows that messed with javadoc generation
ftsrg · Mar 26, 2022 · cf8fb51 · cf8fb51
2 parents 5ae1328 + c9e7635
commit cf8fb51
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/subprojects/xcfa/xcfa/src/main/java/hu/bme/mit/theta/xcfa/model/utils/XcfaStmtUtils.java b/subprojects/xcfa/xcfa/src/main/java/hu/bme/mit/theta/xcfa/model/utils/XcfaStmtUtils.java
@@ -33,7 +33,7 @@
 
 public class XcfaStmtUtils {
 	/**
-	 * Replace expressions in a stmt based on a given Expr -> Opt(Expr) mapping function
+	 * Replace expressions in a stmt based on a given Expr to Opt(Expr) mapping function
 	 *
 	 * @param stmt   Statement to replace expressions in
 	 * @param mapper Mapping function that returns a new Expression when necessary, empty otherwise
@@ -44,7 +44,7 @@ public static <T extends Type> Optional<XcfaLabel> replaceExprsInStmt(final Xcfa
 	}
 
 	/**
-	 * Replace expressions in a stmt based on a given Var -> Opt(Var) mapping function
+	 * Replace expressions in a stmt based on a given Var to Opt(Var) mapping function
 	 *
 	 * @param stmt   Statement to replace expressions in
 	 * @param mapper Mapping function that returns a new VarDecl when necessary, empty otherwise